%0 Conference Paper %1 conf/laser/TschannenFNM11 %A Tschannen, Julian %A Furia, Carlo Alberto %A Nordio, Martin %A Meyer, Bertrand %B LASER Summer School %D 2011 %E Meyer, Bertrand %E Nordio, Martin %I Springer %K dblp %P 133-155 %T Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. %U http://dblp.uni-trier.de/db/conf/laser/laser2011.html#TschannenFNM11 %V 7682 %@ 978-3-642-35746-6

@inproceedings{conf/laser/TschannenFNM11, added-at = {2017-10-30T00:00:00.000+0100}, author = {Tschannen, Julian and Furia, Carlo Alberto and Nordio, Martin and Meyer, Bertrand}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ce519b4e306d5395db89aff9f2fabd85/dblp}, booktitle = {LASER Summer School}, crossref = {conf/laser/2011}, editor = {Meyer, Bertrand and Nordio, Martin}, ee = {https://doi.org/10.1007/978-3-642-35746-6_5}, interhash = {de6d5b792dd27f93de5a4e4448ce6815}, intrahash = {ce519b4e306d5395db89aff9f2fabd85}, isbn = {978-3-642-35746-6}, keywords = {dblp}, pages = {133-155}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:43:41.000+0200}, title = {Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach.}, url = {http://dblp.uni-trier.de/db/conf/laser/laser2011.html#TschannenFNM11}, volume = 7682, year = 2011 }