skip to main content
Show Results with:

Formal methods for V&V of partial specifications : an experience report.

Steve Easterbrook

University of Sussex, 1996.

Check library holdings

Searching Remote Databases, Please Wait