9783662185421 - formal methods at the crossroads. from panacea to foundational support: 10th anniversary colloquium of unu/iist, the international institute for ... portugal, march 18-20, 2002, revised papers (1 Ergebnisse)