


Остановите войну!
for scientists:
BibTeX record conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11
@inproceedings{DBLP:conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11, author = {Vladimir Klebanov and Peter M{\"{u}}ller and Natarajan Shankar and Gary T. Leavens and Valentin W{\"{u}}stholz and Eyad Alkassar and Rob Arthan and Derek Bronish and Rod Chapman and Ernie Cohen and Mark A. Hillebrand and Bart Jacobs and K. Rustan M. Leino and Rosemary Monahan and Frank Piessens and Nadia Polikarpova and Tom Ridge and Jan Smans and Stephan Tobies and Thomas Tuerk and Mattias Ulbrich and Benjamin Wei{\ss}}, editor = {Michael J. Butler and Wolfram Schulte}, title = {The 1st Verified Software Competition: Experience Report}, booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {154--168}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_14}, doi = {10.1007/978-3-642-21437-0\_14}, timestamp = {Sat, 09 Apr 2022 12:46:18 +0200}, biburl = {https://dblp.org/rec/conf/fm/KlebanovMSLWAABCCHJLMPPRSTTUW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.