Cited By
View all- Bourbouh HFarrell MMavridou ASljivo IBrat GDennis LFisher M(2021)Integrating Formal Verification and Assurance: An Inspection Rover Case StudyNASA Formal Methods10.1007/978-3-030-76384-8_4(53-71)Online publication date: 19-May-2021
- Singh NLawford MMaibaum TWassyng A(2021)A formal approach to rigorous development of critical systemsJournal of Software: Evolution and Process10.1002/smr.233433:4Online publication date: 1-Apr-2021
- Pinzaru GRivera V(2019)Towards Static Verification of Clojure Contract-Based ProgramsSoftware Technology: Methods and Tools10.1007/978-3-030-29852-4_5(73-80)Online publication date: 8-Oct-2019
- Show More Cited By