TY
-
GEN
AU
-
Meier, David
TI
-
Progress properties in program refinement and parallel composition
KW
-
Hochschulschrift
KW
-
Systementwicklung
KW
-
Modularität
PY
-
1997
UR
-
http://slubdd.de/katalog?TN_libero_mab2
ER
-
Download citation