Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperLiterature reviewResearch

Original languageEnglish
JournalFormal Aspects of Computing
Volume30
Issue3-4
Pages (from-to)491-492
Number of pages2
ISSN0934-5043
DOIs
Publication statusPublished - 8 May 2018

See relations at Aarhus University Citationformats

ID: 136348832