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: .

Formal refinement of a cash register system in VDM++. / Köb, Daniel.

Graz : ., 2002. (Technical Report IST).

Research output: Book/ReportOther reportResearch

Köb, D 2002, Formal refinement of a cash register system in VDM++. Technical Report IST, ., Graz.
Köb D. Formal refinement of a cash register system in VDM++. Graz: ., 2002. (Technical Report IST).
Köb, Daniel. / Formal refinement of a cash register system in VDM++. Graz : ., 2002. (Technical Report IST).
@book{17456866e6814ee3ae06d4ac2a30238e,
title = "Formal refinement of a cash register system in VDM++",
author = "Daniel K{\"o}b",
note = "Reportnr.: TEC-02-03",
year = "2002",
language = "English",
series = "Technical Report IST",
publisher = ".",

}

TY - BOOK

T1 - Formal refinement of a cash register system in VDM++

AU - Köb, Daniel

N1 - Reportnr.: TEC-02-03

PY - 2002

Y1 - 2002

M3 - Other report

T3 - Technical Report IST

BT - Formal refinement of a cash register system in VDM++

PB - .

CY - Graz

ER -