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)
