A proof system for a subset of the concurrency section of ADA

Research output: Book/Report › Report › Academic

Keywords

@book{23bb81ca81e3432ba08c19980cba4c65,

title = "A proof system for a subset of the concurrency section of ADA",

keywords = "Wiskunde en Informatica (WIIN), Mathematics, Informatica, Landbouwwetenschappen, Natuurwetenschappen",

author = "R.T. Gerth",

year = "1981",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "81-17",

publisher = "Unknown Publisher",

edition = "RUU-CS",

}

TY - BOOK

T1 - A proof system for a subset of the concurrency section of ADA

AU - Gerth, R.T.

PY - 1981

Y1 - 1981

KW - Wiskunde en Informatica (WIIN)

KW - Mathematics

KW - Informatica

KW - Landbouwwetenschappen

KW - Natuurwetenschappen

M3 - Report

SN - 0924-3275

VL - 81-17

BT - A proof system for a subset of the concurrency section of ADA

PB - Unknown Publisher

CY - Utrecht

ER -