%0 Conference Paper %1 conf/nfm/AstrauskasBFGMM22 %A Astrauskas, Vytautas %A Bílý, Aurel %A Fiala, Jonás %A Grannan, Zachary %A Matheja, Christoph %A Müller, Peter %A Poli, Federico %A Summers, Alexander J. %B NFM %D 2022 %E Deshmukh, Jyotirmoy V. %E Havelund, Klaus %E Perez, Ivan %I Springer %K dblp %P 88-108 %T The Prusti Project: Formal Verification for Rust. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#AstrauskasBFGMM22 %V 13260 %@ 978-3-031-06773-0

@inproceedings{conf/nfm/AstrauskasBFGMM22, added-at = {2023-09-30T00:00:00.000+0200}, author = {Astrauskas, Vytautas and Bílý, Aurel and Fiala, Jonás and Grannan, Zachary and Matheja, Christoph and Müller, Peter and Poli, Federico and Summers, Alexander J.}, biburl = {https://www.bibsonomy.org/bibtex/2efd548b8a3026c282a908266a5c8b116/dblp}, booktitle = {NFM}, crossref = {conf/nfm/2022}, editor = {Deshmukh, Jyotirmoy V. and Havelund, Klaus and Perez, Ivan}, ee = {https://doi.org/10.1007/978-3-031-06773-0_5}, interhash = {cedb367fbbcabc2bd471f5621c82386d}, intrahash = {efd548b8a3026c282a908266a5c8b116}, isbn = {978-3-031-06773-0}, keywords = {dblp}, pages = {88-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:35:33.000+0200}, title = {The Prusti Project: Formal Verification for Rust.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2022.html#AstrauskasBFGMM22}, volume = 13260, year = 2022 }