Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97 Togashi Atsushi Innbundet / 1997 / Engelsk
Formal Description Techniques and Protocol Specification, Testing and Verification FORTE X / PSTV XVII ’97 Togashi Atsushi Heftet / 2013 / Engelsk
