Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11
%A Klebanov, Vladimir
%A Müller, Peter
%A Shankar, Natarajan
%A Leavens, Gary T.
%A Wüstholz, Valentin
%A Alkassar, Eyad
%A Arthan, Rob
%A Bronish, Derek
%A Chapman, Rod
%A Cohen, Ernie
%A Hillebrand, Mark A.
%A Jacobs, Bart
%A Leino, K. Rustan M.
%A Monahan, Rosemary
%A Piessens, Frank
%A Polikarpova, Nadia
%A Ridge, Tom
%A Smans, Jan
%A Tobies, Stephan
%A Tuerk, Thomas
%A Ulbrich, Mattias
%A Weiß, Benjamin
%B FM
%D 2011
%E Butler, Michael J.
%E Schulte, Wolfram
%I Springer
%K dblp
%P 154-168
%T The 1st Verified Software Competition: Experience Report.
%U http://dblp.uni-trier.de/db/conf/fm/fm2011.html#KlebanovMSLWAABCCHJLMPPRSTTUW11
%V 6664
%@ 978-3-642-21436-3
@inproceedings{conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11,
added-at = {2017-06-15T00:00:00.000+0200},
author = {Klebanov, Vladimir and Müller, Peter and Shankar, Natarajan and Leavens, Gary T. and Wüstholz, Valentin and Alkassar, Eyad and Arthan, Rob and Bronish, Derek and Chapman, Rod and Cohen, Ernie and Hillebrand, Mark A. and Jacobs, Bart and Leino, K. Rustan M. and Monahan, Rosemary and Piessens, Frank and Polikarpova, Nadia and Ridge, Tom and Smans, Jan and Tobies, Stephan and Tuerk, Thomas and Ulbrich, Mattias and Weiß, Benjamin},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24201393d55d712021488eab5d8f85421/dblp},
booktitle = {FM},
crossref = {conf/fm/2011},
editor = {Butler, Michael J. and Schulte, Wolfram},
ee = {https://doi.org/10.1007/978-3-642-21437-0_14},
interhash = {5facd6dbcc964b1971828162c20499c6},
intrahash = {4201393d55d712021488eab5d8f85421},
isbn = {978-3-642-21436-3},
keywords = {dblp},
pages = {154-168},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-09-27T13:51:51.000+0200},
title = {The 1st Verified Software Competition: Experience Report.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2011.html#KlebanovMSLWAABCCHJLMPPRSTTUW11},
volume = 6664,
year = 2011
}