[Back]


Talks and Poster Presentations (with Proceedings-Entry):
R. Grosu, S. Bogomolov, G. Frehse, M. Greitschus, C. Pasareanu, A. Podelski, T. Strump:
"Assume-Guarantee Abstraction-Refinement Meets Hybrid Systems";
Talk: Haifa Verification Conference HVC 2014, Haifa, Isral; 2014-11-18 - 2014-11-20; in: "Proc. of HVC'14, the Haifa Verification Conference", (2014).

Electronic version of the publication:
http://ti.tuwien.ac.at/cps/people/grosu/files/hvc14.pdf