Ober, Iulian, ISAE-Supaero, University of Toulouse, France, France
-
Vol 45, No 3 (2021) - Regular papers
Formal Verification of Emergent Properties
Abstract PDF
Informatica is surveyed by:
ACM Digital LibraryInformatica is published by:
Informatica is supported by:
ACM SloveniaInformatica is financially supported by the Slovenian research agency from the Call for co-financing of scientific periodical publications.
Webmaster: Mario Konecki
© 2015 Slovenian Society Informatika | About | Current issue | Calls for papers | Submission