Wyniki wyszukiwania dla: Michael Poppleton
Software & Systems Modeling > 2019 > 18 > 1 > 445-471
Lecture Notes in Computer Science > FM 2005: Formal Methods > Abstraction, Retrenchment and Rewriting > 382-398
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 3. B Papers > 209-222
Lecture Notes in Computer Science > Rigorous Development of Complex Fault-Tolerant Systems > Train Systems > 326-342
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 409-409
Software & Systems Modeling > 2017 > 16 > 4 > 1083-1115
Information and Software Technology > 2008 > 50 > 1-2 > 112-129