%0 Conference Paper %1 conf/vmcai/WiesKLPR06 %A Wies, Thomas %A Kuncak, Viktor %A Lam, Patrick %A Podelski, Andreas %A Rinard, Martin C. %B VMCAI %D 2006 %E Emerson, E. Allen %E Namjoshi, Kedar S. %I Springer %K dblp %P 157-173 %T Field Constraint Analysis. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#WiesKLPR06 %V 3855 %@ 3-540-31139-4

@inproceedings{conf/vmcai/WiesKLPR06, added-at = {2017-05-24T00:00:00.000+0200}, author = {Wies, Thomas and Kuncak, Viktor and Lam, Patrick and Podelski, Andreas and Rinard, Martin C.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c9e08cc5300992ec643907df4550695f/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2006}, editor = {Emerson, E. Allen and Namjoshi, Kedar S.}, ee = {https://doi.org/10.1007/11609773_11}, interhash = {83af56058e9872fd3e508d733515ad03}, intrahash = {c9e08cc5300992ec643907df4550695f}, isbn = {3-540-31139-4}, keywords = {dblp}, pages = {157-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:55:24.000+0200}, title = {Field Constraint Analysis.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2006.html#WiesKLPR06}, volume = 3855, year = 2006 }