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

Document Supply 3292.885500 CSRP 443 Shelfmark(s)

Searching Remote Databases, Please Wait