Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 Book Discussion
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97 (IFIP Advances in Information and Communication Technology)
by
