Executing Formal Specifications need not be Harmful (1996)

View PDF

Download Links

by Andy Gravell , Peter Nederson
Venue:SOFTWARE ENGINEERING JOURNAL
Citations:23 - 6 self