Session details: Verification II

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17 ◽

10.1145/3257280 ◽

2017 ◽

Author(s):

André Platzer

Download Full-text