%0 Conference Paper %1 conf/nfm/SafariOJH20 %A Safari, Mohsen %A Oortwijn, Wytse %A Joosten, Sebastiaan J. C. %A Huisman, Marieke %B NFM %D 2020 %E Lee, Ritchie %E Jha, Susmit %E Mavridou, Anastasia %I Springer %K dblp %P 170-186 %T Formal Verification of Parallel Prefix Sum. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2020.html#SafariOJH20 %V 12229 %@ 978-3-030-55754-6

@inproceedings{conf/nfm/SafariOJH20, added-at = {2021-04-09T00:00:00.000+0200}, author = {Safari, Mohsen and Oortwijn, Wytse and Joosten, Sebastiaan J. C. and Huisman, Marieke}, biburl = {https://www.bibsonomy.org/bibtex/2f97e402322dbbaea137c5ee6b251c73e/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2020}, editor = {Lee, Ritchie and Jha, Susmit and Mavridou, Anastasia}, ee = {https://doi.org/10.1007/978-3-030-55754-6_10}, interhash = {f53526d55a450a44ec61f443c2f7b6f5}, intrahash = {f97e402322dbbaea137c5ee6b251c73e}, isbn = {978-3-030-55754-6}, keywords = {dblp}, pages = {170-186}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T21:03:30.000+0200}, title = {Formal Verification of Parallel Prefix Sum.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2020.html#SafariOJH20}, volume = 12229, year = 2020 }