%0 Conference Paper %1 conf/ifm/LanzingerBUD23 %A Lanzinger, Florian %A Bachmeier, Joshua %A Ulbrich, Mattias %A Dietl, Werner %B iFM %D 2023 %E Herber, Paula %E Wijs, Anton %I Springer %K dblp %P 377-383 %T Scalable and Precise Refinement Types for Imperative Languages. %U http://dblp.uni-trier.de/db/conf/ifm/ifm2023.html#LanzingerBUD23 %V 14300 %@ 978-3-031-47705-8

@inproceedings{conf/ifm/LanzingerBUD23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Lanzinger, Florian and Bachmeier, Joshua and Ulbrich, Mattias and Dietl, Werner}, biburl = {https://www.bibsonomy.org/bibtex/245694f3f89f268493e7b4ec9d9b503a0/dblp}, booktitle = {iFM}, crossref = {conf/ifm/2023}, editor = {Herber, Paula and Wijs, Anton}, ee = {https://doi.org/10.1007/978-3-031-47705-8_20}, interhash = {b79732e8f1286cb2f97f3ff545b4ed4e}, intrahash = {45694f3f89f268493e7b4ec9d9b503a0}, isbn = {978-3-031-47705-8}, keywords = {dblp}, pages = {377-383}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T10:18:03.000+0200}, title = {Scalable and Precise Refinement Types for Imperative Languages.}, url = {http://dblp.uni-trier.de/db/conf/ifm/ifm2023.html#LanzingerBUD23}, volume = 14300, year = 2023 }