Abstractions and Static Analysis for Verifying Reactive Systems

View/Open
Date
2004
Author
Ioustinova, N.
Metadata
Show full item record
URI
http://hdl.handle.net/1871/9061
Collections