I. A. Siddiqi;B. Ratcliff
-;-
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education