The Z Specification Language and the Proof Environment Isabelle/HOL-Z
Metadata only
Datum
2007Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedZeitschrift / Serie
Computer Software (Journal of the Japanese Society for Software Science and Technology)Band
Seiten / Artikelnummer
Verlag
Iwanami ShotenOrganisationseinheit
03634 - Basin, David / Basin, David
ETH Bibliographie
yes
Altmetrics