Export list as BibTeX file
- Verification of Ada Programs with AdaHornAda User Journal,
- Evidential and Continuous Integration of Software Verification Tools
Springer International Publishing.
- Efficient CTL Verification via Horn Constraints Solving
- Integrated Formal Methods for Constructing Assurance Cases
2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW),