1. Modeling in Event-B – System and Software Engineering;Abrial,2010
2. Rodin: an open toolset for modelling and reasoning in Event-B;Abrial;Int. J. Softw. Tools Technol. Transf.,2010
3. Automated support for the design and validation of fault tolerant parameterized systems: a case study;Alberti;Electron. Commun. EASST,2010
4. Innovations in computational type theory using Nuprl;Allen;J. Appl. Log.,2006
5. ROSCoq: robots powered by constructive reals;Anand,2015