Search results for: Mark Lawford
Journal of Software: Evolution and Process > 33 > 4 > n/a - n/a
Formal Aspects of Computing > 2019 > 31 > 5 > 611-640
Journal of Automated Reasoning > 2018 > 60 > 1 > 63-84
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 1 > 95-117
Lecture Notes in Computer Science > Foundations of Computer Software. Future Trends and Techniques for Development > 250-274
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Certification of Software-Driven Medical Devices > 293-295
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 119-134
Lecture Notes in Computer Science > Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems > 206-227
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 494-499
Lecture Notes in Computer Science > FME 2003: Formal Methods > I-Day > 133-153
Science of Computer Programming > 2015 > 113 > Part 1 > 29-50
Science of Computer Programming > 2015 > 113 > P2 > 149-190
Science of Computer Programming > 2015 > 111 > P2 > 339-362
IEEE Design & Test > 2015 > 32 > 5 > 45 - 55
IEEE Transactions on Transportation Electrification > 2015 > 1 > 1 > 4 - 17