Formal Methods

Publication Type:

Book Chapter

Authors:

Michael G. Hinchey; Jonathan P. Bowen; Emil Vassev

Source:

Encyclopedia of Software Engineering, ed. Philip A. Laplante, Taylor & Francis, p.308–320 (2010)
Share/Save