Stephan Gocht

Doctoral Student

Recent research outputs

Mate Soos, Stephan Gocht & Kuldeep S. Meel, 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer Gabler, p. 463-484 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

Research output: Chapter in Book/Report/Conference proceedingPaper in conference proceeding

View All (1)