Cited By
View all- Bezza AMerah EAmeur-Boulifa RBenaboud RMessaoud Maarouk T(2020)Formalization and Refinement Proof for Embedded Systems2020 4th International Symposium on Informatics and its Applications (ISIA)10.1109/ISIA51297.2020.9416544(1-6)Online publication date: 15-Dec-2020
- Torrini PNowak DJomaa NCherif M(2018)Formalising Executable Specifications of Low-Level SystemsVerified Software. Theories, Tools, and Experiments10.1007/978-3-030-03592-1_9(155-176)Online publication date: 24-Nov-2018
- Wadler P(2018)Programming Language Foundations in AgdaFormal Methods: Foundations and Applications10.1007/978-3-030-03044-5_5(56-73)Online publication date: 24-Oct-2018
- Show More Cited By