Opening book details…
About this scholarly article
Model Checking Software Systems: a Case Study by Jeannette M. Wing; Mandana Vaziri-Farahani is a scholarly article available to read on EtoBox.
- Author
- Jeannette M. Wing; Mandana Vaziri-Farahani
- Publisher
- ACM
- Published
- 1995
- Language
- EN
More by Jeannette M. Wing; Mandana Vaziri-Farahani
Browse all works by Jeannette M. Wing; Mandana Vaziri-Farahani