My Account Log in

Cite

Concrete Semantics : With Isabelle/HOL

MLA

Nipkow, Tobias, Gerwin Klein and SpringerLink (Online service). Concrete Semantics : With Isabelle/HOL. First edition 2014. Cham : Springer International Publishing : Imprint: Springer, 2014.

APA

Nipkow, T., Klein, G. & SpringerLink (Online service). (2014). Concrete Semantics : With Isabelle/HOL. First edition 2014. Cham : Springer International Publishing : Imprint: Springer.

Chicago

Nipkow, Tobias, Gerwin Klein and SpringerLink (Online service). Concrete Semantics : With Isabelle/HOL. First edition 2014. Cham : Springer International Publishing : Imprint: Springer, 2014.

We want your feedback!

Thanks for using the Penn Libraries new search tool. We encourage you to submit feedback as we continue to improve the site.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account