Abstractions and static analysis for verifying reactive systems / Nataliya Yustinova
Proefschrift Vrije Universiteit Amsterdam
Abstractions and static analysis for verifying reactive systems