2004-11-04
Abstractions and static analysis for verifying reactive systems
Publication
Publication
Additional Metadata | |
---|---|
Software (theme 1) | |
W.J. Fokkink (Wan) | |
Vrije Universiteit Amsterdam | |
978-90-6196-525-1 | |
Organisation | Software Analysis and Transformation |
Yustinova, N. (2004, November 4). Abstractions and static analysis for verifying reactive systems.
|