@proceedings{BlanchetteITP2016,
TITLE = {Interactive Theorem Proving (ITP 2016)},
EDITOR = {Blanchette, Jasmin Christian and Merz, Stephan},
LANGUAGE = {eng},
ISBN = {978-3-319-43143-7},
DOI = {10.1007/978-3-319-43144-4},
PUBLISHER = {Springer},
YEAR = {2016},
DATE = {2016},
PAGES = {XVII, 502 p.},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {9807},
ADDRESS = {Nancy, France},
}