Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Kovacs, L., & Voronkov, A. (Eds.). (2018). Vampire 2017. Proceedings of the 4th Vampire Workshop. EasyChair EPiC Series in Computing. http://hdl.handle.net/20.500.12708/24544
-
Publication Type:
Proceedings - Full Paper Book
en
Editors:
Kovacs, Laura Voronkov, Andrei
-
Organisational Unit:
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
