Formelle teknikker til specifikation og verifikation af Modula-2 programmer

Translated title of the contribution: Formal Techniques for Specification and Verification of Modula-2 Programs

Research output: Book/ReportBookResearch

Original languageDanish
Place of PublicationAalborg
PublisherAalborg Universitetsforlag
Publication statusPublished - 1990
SeriesAalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport
NumberR 90-40
ISSN0106-0791

Cite this

Stage, J. (1990). Formelle teknikker til specifikation og verifikation af Modula-2 programmer. Aalborg: Aalborg Universitetsforlag. Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport, No. R 90-40
Stage, Jan. / Formelle teknikker til specifikation og verifikation af Modula-2 programmer. Aalborg : Aalborg Universitetsforlag, 1990. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-40).
@book{c43e99e0003311dab4d5000ea68e967b,
title = "Formelle teknikker til specifikation og verifikation af Modula-2 programmer",
author = "Jan Stage",
year = "1990",
language = "Dansk",
series = "Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport",
number = "R 90-40",
publisher = "Aalborg Universitetsforlag",

}

Stage, J 1990, Formelle teknikker til specifikation og verifikation af Modula-2 programmer. Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport, no. R 90-40, Aalborg Universitetsforlag, Aalborg.

Formelle teknikker til specifikation og verifikation af Modula-2 programmer. / Stage, Jan.

Aalborg : Aalborg Universitetsforlag, 1990. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-40).

Research output: Book/ReportBookResearch

TY - BOOK

T1 - Formelle teknikker til specifikation og verifikation af Modula-2 programmer

AU - Stage, Jan

PY - 1990

Y1 - 1990

M3 - Bog

T3 - Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport

BT - Formelle teknikker til specifikation og verifikation af Modula-2 programmer

PB - Aalborg Universitetsforlag

CY - Aalborg

ER -

Stage J. Formelle teknikker til specifikation og verifikation af Modula-2 programmer. Aalborg: Aalborg Universitetsforlag, 1990. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; No. R 90-40).