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

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisAnmeldelseForskning

DOI

OriginalsprogEngelsk
TidsskriftFormal Aspects of Computing
Vol/bind30
Nummer3-4
Sider (fra-til)491-492
Antal sider2
ISSN0934-5043
DOI
StatusUdgivet - 8 maj 2018

Se relationer på Aarhus Universitet Citationsformater

ID: 136348832