TY - EBOOK TI - Concrete semantics [electronic resource] : with Isabelle/HOL AU - Nipkow, Tobias. AU - Klein, Gerwin. SN - 9783319105420 PB - Springer International Publishing : Imprint: Springer PP - Cham : Springer International Publishing : Imprint: Springer, 2014. PY - 2014 UR - https://library.korea.ac.kr/detail/?cid=CAT000046046662&ctype=e