TY  - GEN
AU  - Aichernig,Bernhard K.
AU  - Maibaum,Thomas S.E.
ED  - International Institute for Software Technology.
TI  - 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 : 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 
SN  - 3540205276
U1  - 005.1 
PY  - 2003///
CY  - Berlin, New York
PB  - Springer-Verlag
KW  - Software engineering
UR  - http://www.loc.gov/catdir/enhancements/fy0818/2003065503-d.html
ER  -