Model Checking Software Systems: A Case Study (1995)

Cached

Download Links

by Jeannette M. Wing , Mandana Vaziri-farahani
Citations:15 - 0 self