@inproceedings{WeidenbachCorrectSD2015,
TITLE = {Automated Reasoning Building Blocks},
AUTHOR = {Weidenbach, Christoph},
LANGUAGE = {eng},
ISBN = {978-3-319-23505-9},
DOI = {10.1007/978-3-319-23506-6_12},
PUBLISHER = {Springer},
YEAR = {2015},
DATE = {2015},
BOOKTITLE = {Correct System Design},
EDITOR = {Meyer, Roland and Platzer, Andr{\'e} and Wehrheim, Heike},
PAGES = {172--188},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {9360},
ADDRESS = {Oldenburg, Germany},
}