TitleFormal Methods
Publication TypeBook Chapter
Year of Publication2010
AuthorsHinchey M, Bowen JP, Vassev E
EditorLaplante P.A.
Book TitleEncyclopedia of Software EngineeringEncyclopedia of Software Engineering
Date Published2010
PublisherTaylor & Francis
Publication Languageeng
URLhttps://sharepoint.lero.ie/Publications/2010/Book%20Sections/2010-Hinchey-FormalMethods_final.pdf