Sitaram C. V. Raju
Original record- Institution
- University of Washington
- Year
- 1994
- Country
- United States
- MGP identifier
- 88117
Dissertation: Using Assertions for Validating, Verifying and Monitoring Real-Time Systems
Advisor 1
- Alan Cary ShawStanford University · 1968
Students 0
No students recorded in this snapshot.