Giuseppe Scollo
2 published titles
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-
(Contributor)
1 edition
- ISBN: 0444883436
- North-Holland
- 1990
- Details
Algebraic methodology and software technology : (AMAST '91) : proceedings of the Second International Conference on Algebraic Methodology and Software Technology, Iowa City, USA, 22-25 May 1991
(Contributor)
1 edition
- ISBN: 3540197974
- Springer, published in collaboration with the British Computer Society
- 1992
- Details
