Formal Methods

Тип публикация:

Book Chapter

Автори:

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

Източник:

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