Books listed by ISBN
Ana Cavalli
A.C.
·
A. Cavalli
title
ISBN-13
(ISBN-10)
year of publica-
tion
other author(s)
Formal Description Techniques and Protocol Specification, Testing and Verification
978-0-412-84760-8
(0-412-84760-4)
1998
Stan Budkowski · Elie Najm
Ana Celia Zentella