%0 Conference Paper %1 conf/cc/LeinoN98 %A Leino, K. Rustan M. %A Nelson, Greg %B CC %D 1998 %E Koskimies, Kai %I Springer %K dblp %P 302-305 %T An Extended Static Checker for Modular-3. %U http://dblp.uni-trier.de/db/conf/cc/cc98.html#LeinoN98 %V 1383 %@ 3-540-64304-4

@inproceedings{conf/cc/LeinoN98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Nelson, Greg}, biburl = {https://www.bibsonomy.org/bibtex/2fad30e9bed780a1b709f64fa668a8693/dblp}, booktitle = {CC}, crossref = {conf/cc/1998}, editor = {Koskimies, Kai}, ee = {https://doi.org/10.1007/BFb0026441}, interhash = {2495a82f8722f52a4e4e09b7f7250fa5}, intrahash = {fad30e9bed780a1b709f64fa668a8693}, isbn = {3-540-64304-4}, keywords = {dblp}, pages = {302-305}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:38:11.000+0200}, title = {An Extended Static Checker for Modular-3.}, url = {http://dblp.uni-trier.de/db/conf/cc/cc98.html#LeinoN98}, volume = 1383, year = 1998 }