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
- Kaliszyk CUrban JSiddique UKhan-Afshar SDunchev CTahar S(2015)Formalizing PhysicsProceedings of the International Conference on Intelligent Computer Mathematics - Volume 915010.1007/978-3-319-20615-8_19(288-295)Online publication date: 13-Jul-2015
- Show More Cited By