Mizuno, Tàet.al.. Editor
Formal Description Techniques and Protocol Specification, Testing and Verification Forte X / PSTV XVII ' 97 - London Chapman & Hall 1997 - xi,550p.
978-0-412-83050-1
Formal Description Techniques and Protocol Specification, Testing and Verification Forte X / PSTV XVII ' 97 - London Chapman & Hall 1997 - xi,550p.
978-0-412-83050-1