Executing Formal Specifications need not be Harmful (1996)

Cached

Download Links

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