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
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 115-131
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 132-150
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 151-160
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 161-172
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 173-190
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 191-206
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 207-225
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 226-241
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 242-266
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 267-286
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 287-307
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 308-321
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > In Memoriam Armando Martín Haeberer > 1-25
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > Real-Time Systems > 322-336
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > Real-Time Systems > 337-351
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > Real-Time Systems > 352-366
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > Verification > 367-380
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > Verification > 381-422
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > Verification > 423-438
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > Verification > 439-453