Stephan Gocht

Doktorand

Senaste forskningsoutput

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

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceeding

Visa alla (1)