The Z Specification Language and the Proof Environment Isabelle/HOL-Z

Metadata only

Autor(in)

Basin, David

Kuruma, Hironobu

Nakajima, Shin

Wolff, Burkhart

Datum

2007

Typ

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Zeitschrift / Serie

Computer Software (Journal of the Japanese Society for Software Science and Technology)

Band

24(2)

Seiten / Artikelnummer

21 - 26

Verlag

Iwanami Shoten

Organisationseinheit

03634 - Basin, David / Basin, David

Anmerkungen

.

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection