An edition of Formal methods at the crossroads (2003)
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
By Bernhard K. Aichernig
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2003
Publisher
Springer
Language
eng
Pages
-
Description:
subjects: Formale Methode, Softwareentwicklung