Serna A., Alexei, Corporación Universitaria Remington, Colombia
-
Vol 41, No 3 (2017) - Regular papers
Power and limitations of formal methods for software fabrication: Thirty years later
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