%0 Conference Paper %1 conf/wadt/BergHJP99 %A van den Berg, Joachim %A Huisman, Marieke %A Jacobs, Bart %A Poll, Erik %B WADT %D 1999 %E Bert, Didier %E Choppy, Christine %E Mosses, Peter D. %I Springer %K dblp %P 1-21 %T A Type-Theoretic Memory Model for Verification of Sequential Java Programs. %U http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#BergHJP99 %V 1827 %@ 3-540-67898-0

@inproceedings{conf/wadt/BergHJP99, added-at = {2021-04-09T00:00:00.000+0200}, author = {van den Berg, Joachim and Huisman, Marieke and Jacobs, Bart and Poll, Erik}, biburl = {https://www.bibsonomy.org/bibtex/2c81c53e15b3e6cb9d54adb03d685e17d/dblp}, booktitle = {WADT}, crossref = {conf/wadt/1999}, editor = {Bert, Didier and Choppy, Christine and Mosses, Peter D.}, ee = {https://doi.org/10.1007/978-3-540-44616-3_1}, interhash = {3cb8b869d86a5330d137b5ac75fed152}, intrahash = {c81c53e15b3e6cb9d54adb03d685e17d}, isbn = {3-540-67898-0}, keywords = {dblp}, pages = {1-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:54:05.000+0200}, title = {A Type-Theoretic Memory Model for Verification of Sequential Java Programs.}, url = {http://dblp.uni-trier.de/db/conf/wadt/wadt1999.html#BergHJP99}, volume = 1827, year = 1999 }