The Role of Modelling in Teaching Formal Methods for Software Engineering.

Anthony J. Cowling

Browse the full FM paper archive.