PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Latella D. Formal Methods: applying {logics in, theoretical} computer science. Stefania Gnesi, Tiziana Margaria (eds.). Hoboken, NJ, USA: Wiley ( 2013 IEEE), 2013.
 
 
Abstract
(English)
An Introduction to Formal Methods is given within the scope of the book "Formal Methods for Industrial Critical Systems: A Survey of Applications Formal Methods for Industrial Critical Systems: A Survey of Applications"
URL: http://onlinelibrary.wiley.com/doi/10.1002/9781118459898.ch1/summary
DOI: 10.1002/9781118459898.ch1
Subject Formal methods
D.2.4 Software/Program Verification. Formal methods
68N30 Mathematical aspects of software engineering


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional