Giuseppe Scollo profile picture

Giuseppe Scollo

Stand Alone

Protocol specification, testing, and verification, IX: proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989
Algebraic Methodology and Software Technology (AMAST’93) Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21–25 June 1993