H. Krumm O. Drobnik "Interactive verification of communication software on the basis of CIL" Source Applications, Technologies, Architectures,and Protocols for Computer Communication archive Montréal, Quebec, Canada
(1994)
Languages mentioned
CIL
{1994}