Formal refinement of a cash register system in VDM++

Daniel Köb

Research output: Book/ReportOther reportResearch

Original languageEnglish
Place of PublicationGraz
Publisher.
Publication statusPublished - 2002

Publication series

NameTechnical Report IST

Cite this

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