%0 Conference Paper %1 conf/fmoods/HubertJP08 %A Hubert, Laurent %A Jensen, Thomas P. %A Pichardie, David %B FMOODS %D 2008 %E Barthe, Gilles %E de Boer, Frank S. %I Springer %K dblp %P 132-149 %T Semantic Foundations and Inference of Non-null Annotations. %U http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#HubertJP08 %V 5051 %@ 978-3-540-68862-4

@inproceedings{conf/fmoods/HubertJP08, added-at = {2018-06-26T00:00:00.000+0200}, author = {Hubert, Laurent and Jensen, Thomas P. and Pichardie, David}, biburl = {https://www.bibsonomy.org/bibtex/20645a9463e2702a9716a715f79ac56cd/dblp}, booktitle = {FMOODS}, crossref = {conf/fmoods/2008}, editor = {Barthe, Gilles and de Boer, Frank S.}, ee = {https://doi.org/10.1007/978-3-540-68863-1_9}, interhash = {c576056f48e9f96bf27d3a4f3c3d2238}, intrahash = {0645a9463e2702a9716a715f79ac56cd}, isbn = {978-3-540-68862-4}, keywords = {dblp}, pages = {132-149}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:30:12.000+0200}, title = {Semantic Foundations and Inference of Non-null Annotations.}, url = {http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#HubertJP08}, volume = 5051, year = 2008 }