Specification Styles in Distributed Systems Design and Verification," in "Theoretical Computer Science '89", North-Holland (1991)

by Chris A. Vissers , Marten Van Sinderen
Venue:University of Pisa. From
Citations:52 - 6 self