%0 Conference Paper %1 conf/fm/ChristakisMW12 %A Christakis, Maria %A Müller, Peter %A Wüstholz, Valentin %B FM %D 2012 %E Giannakopoulou, Dimitra %E Méry, Dominique %I Springer %K dblp %P 132-146 %T Collaborative Verification and Testing with Explicit Assumptions. %U http://dblp.uni-trier.de/db/conf/fm/fm2012.html#ChristakisMW12 %V 7436 %@ 978-3-642-32758-2

@inproceedings{conf/fm/ChristakisMW12, added-at = {2017-05-22T00:00:00.000+0200}, author = {Christakis, Maria and Müller, Peter and Wüstholz, Valentin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2fdab4684434f0664b7102dfe8666cef4/dblp}, booktitle = {FM}, crossref = {conf/fm/2012}, editor = {Giannakopoulou, Dimitra and Méry, Dominique}, ee = {https://doi.org/10.1007/978-3-642-32759-9_13}, interhash = {44f0b45b79a20b55a583183234f5d23b}, intrahash = {fdab4684434f0664b7102dfe8666cef4}, isbn = {978-3-642-32758-2}, keywords = {dblp}, pages = {132-146}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:52:14.000+0200}, title = {Collaborative Verification and Testing with Explicit Assumptions.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2012.html#ChristakisMW12}, volume = 7436, year = 2012 }