Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNI/IISI, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers
Bernhard K ...