Reading Length
Home
Speed Tests
Login
Bernhard K. Aichernig
Identifiers
Open Library
OL7325059A
Top Subjects
Softwareentwicklung (1)
Formale Methode (1)
Computer software, testing (1)
Computer software, verification (1)
Software engineering (1)
Books by Bernhard K. Aichernig
Total count: 3
Formal methods at the crossroads
from panacea to foundational support ; 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers
Springer
2003-01-01
Formal Methods for Components and Objects
9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010
Springer London, Limited
2011-01-01
Tests and Proofs
10th International Conference, TAP 2016, Held As Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
Springer London, Limited
2016-01-01
