Document - Formal Methods: applying {logics in, theoretical} computer science

2013

Contribution to book Restricted

Formal Methods: applying {logics in, theoretical} computer science

Latella D.

Software/Program Verification Mathematical aspects of software engineering Formal methods

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"

Source: Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 3–14. Hoboken: John Wiley & Sons Inc., 2013

Publisher: John Wiley & Sons Inc., Hoboken, USA

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:207620,
	title = {Formal Methods: applying {logics in, theoretical} computer science},
	author = {Latella D.},
	publisher = {John Wiley \& Sons Inc., Hoboken, USA},
	doi = {10.1002/9781118459898.ch1},
	booktitle = {Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 3–14. Hoboken: John Wiley \& Sons Inc., 2013},
	year = {2013}
}