Search results for: Cliff B. Jones
Formal Aspects of Computing > 2019 > 31 > 3 > 353-374
Lecture Notes in Computer Science
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 5(P2) > 972-984
Lecture Notes in Computer Science > FME 2003: Formal Methods > Control Systems and Industrial Applications > 154-169
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Guaranteeing Correctness > 64-69
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > At the Crossroads > 191-206