Search results for: Jonathan Jacky
Lecture Notes in Computer Science > Testing of Software and Communication Systems > Short Papers > 211-216
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Safety-Critical and Real-Time Systems > 136-153
Journal of Logic and Algebraic Programming > 2010 > 79 > 7 > 467-482
Journal of Biomedical Informatics > 2003 > 36 > 3 > 159-176