Search results for: Paul A. Bailes
Lecture Notes in Computer Science > Ada in Europe > 152-163
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 > Ada in Europe > 152-163
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > From Models to Software > 287-307