A. Lombardo;A. Morzenti;S. Palazzo
Univ. di Catania, Catania, Italy;Dipartimento di Elettronica-Politecnico di Milano, Milano, Italy;Univ. of Catania, Catania, Italy
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation
IEEE Transactions on Software Engineering