Formal refinement of a cash register system in VDM++

Daniel Köb

Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

Originalspracheenglisch
ErscheinungsortGraz
Verlag.
PublikationsstatusVeröffentlicht - 2002

Publikationsreihe

NameTechnical Report IST

Dieses zitieren

Köb, D. (2002). Formal refinement of a cash register system in VDM++. (Technical Report IST). Graz: .