автор: Maria M. Larrondo-Petrie

Michael Butler & Michael G. Hinchey: Formal Methods and Software Engineering