%0 Conference Paper %1 conf/vmcai/ByrnesTJ24 %A Byrnes, Twain %A Takashima, Yoshiki %A Jia, Limin %B VMCAI (2) %D 2024 %E Dimitrova, Rayna %E Lahav, Ori %E Wolff, Sebastian %I Springer %K dblp %P 210-223 %T Automatically Enforcing Rust Trait Properties. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2024-2.html#ByrnesTJ24 %V 14500 %@ 978-3-031-50521-8

@inproceedings{conf/vmcai/ByrnesTJ24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Byrnes, Twain and Takashima, Yoshiki and Jia, Limin}, biburl = {https://www.bibsonomy.org/bibtex/20e5d1926c956ff6aba7996aa7f5f45be/dblp}, booktitle = {VMCAI (2)}, crossref = {conf/vmcai/2024-2}, editor = {Dimitrova, Rayna and Lahav, Ori and Wolff, Sebastian}, ee = {https://doi.org/10.1007/978-3-031-50521-8_10}, interhash = {41be9f74631f0a31adcb0b1848bd5bd7}, intrahash = {0e5d1926c956ff6aba7996aa7f5f45be}, isbn = {978-3-031-50521-8}, keywords = {dblp}, pages = {210-223}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:33:11.000+0200}, title = {Automatically Enforcing Rust Trait Properties.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2024-2.html#ByrnesTJ24}, volume = 14500, year = 2024 }