%0 Book %1 books/sp/NipkowK14 %A Nipkow, Tobias %A Klein, Gerwin %D 2014 %I Springer %K dblp %P 1-280 %T Concrete Semantics - With Isabelle/HOL %@ 978-3-319-10542-0

@book{books/sp/NipkowK14, added-at = {2018-11-02T00:00:00.000+0100}, author = {Nipkow, Tobias and Klein, Gerwin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2eedb4e40a1939f736089f4d5c5fb6572/dblp}, ee = {https://doi.org/10.1007/978-3-319-10542-0}, interhash = {cb2e587f189163e897ac2b07b456d10d}, intrahash = {eedb4e40a1939f736089f4d5c5fb6572}, isbn = {978-3-319-10542-0}, keywords = {dblp}, pages = {1-280}, publisher = {Springer}, timestamp = {2019-09-27T12:22:52.000+0200}, title = {Concrete Semantics - With Isabelle/HOL}, year = 2014 }