Automating Software Feature Verification (2000)

Cached

Download Links

by Gerard J. Holzmann , Margaret H. Smith
Venue:BELL LABS TECHNICAL JOURNAL
Citations:64 - 15 self