Cited By
View all- Potop-Butucaru MSznajder NTixeuil SUrbain X(2019)Formal Methods for Mobile RobotsDistributed Computing by Mobile Entities10.1007/978-3-030-11072-7_12(278-313)Online publication date: 13-Jan-2019
- Aspinall DKaliszyk C(2016)Towards Formal Proof MetricsProceedings of the 19th International Conference on Fundamental Approaches to Software Engineering - Volume 963310.1007/978-3-662-49665-7_19(325-341)Online publication date: 2-Apr-2016
- Ribeiro RCamarão C(2016)A Mechanized Textbook Proof of a Type Unification AlgorithmFormal Methods: Foundations and Applications10.1007/978-3-319-29473-5_8(127-141)Online publication date: 24-Jan-2016
- Show More Cited By