Hardi Hungar
-
Towards the hierarchical verification of reactive systems
Theoretical Computer Science - Logic, semantics and theory of programming