Tests and proofs: 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; proceedings

Media type: Book; Conference Proceedings
Title: Tests and proofs : 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; proceedings
Contributor: Gogolla, Martin [Hrsg.]; Wolff, Burkhart [Other]
Event: TAP
imprint: Berlin; Heidelberg [u.a.]: Springer, 2011
Published in: Lecture notes in computer science ; 6706
Extent: X, 204 S.; graph. Darst
Language: English
ISBN: 3642217672; 9783642217678
Publisher, production or purchase order numbers: Sonstige Nummer: 80064893
RVK notation: SS 4800 : Lecture notes in computer science
Keywords: Softwareentwicklung > Softwaretest > Beweis
Softwaresystem > Programmverifikation > Model Checking > Formale Methode
Origination:
Footnote: Literaturangaben

Tests and proofs : 5th international conference, TAP 2011, Zürich, Switzerland, June 30-July 1, 2011 ; proceedings