Proving the Correctness of Programs for Networks of L-Modules
PH
Pädagogische Hochschule Oberösterreich
Leistungstyp
Monogprahie
LL Nr
11052
Dis Auftri
DIS_MONOGR_11052
Jahr
1981
Titel
Proving the Correctness of Programs for Networks of L-Modules
Quelle
RISC-Linz Series, k.A.
Autoren
Aspetsberger Klaus, Buchberger Bruno
