Testability of Formal Specifications

Autor: van de Burgt, S.P., Kroon, J., Peeters, A.M.
Zdroj: In Protocol Specification, Testing and Verification, XII 1992:63-77
Databáze: ScienceDirect