%0 Conference Paper %1 conf/fase/DarvasL07 %A Darvas, Ádám %A Leino, K. Rustan M. %B FASE %D 2007 %E Dwyer, Matthew B. %E Lopes, Antónia %I Springer %K dblp %P 336-351 %T Practical Reasoning About Invocations and Implementations of Pure Methods. %U http://dblp.uni-trier.de/db/conf/fase/fase2007.html#DarvasL07 %V 4422 %@ 978-3-540-71288-6

@inproceedings{conf/fase/DarvasL07, added-at = {2018-06-26T00:00:00.000+0200}, author = {Darvas, Ádám and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/2dd0d5307426eff981d7cbe2ac912bd28/dblp}, booktitle = {FASE}, crossref = {conf/fase/2007}, editor = {Dwyer, Matthew B. and Lopes, Antónia}, ee = {https://doi.org/10.1007/978-3-540-71289-3_26}, interhash = {5f68227258add1d30d6cf8ed51a37d08}, intrahash = {dd0d5307426eff981d7cbe2ac912bd28}, isbn = {978-3-540-71288-6}, keywords = {dblp}, pages = {336-351}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:58:19.000+0200}, title = {Practical Reasoning About Invocations and Implementations of Pure Methods.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2007.html#DarvasL07}, volume = 4422, year = 2007 }