TY - BOOK
AU - Lefering, Martin
TI - Development of incremental integration tools using formal specifications
PB - RWTH, Fachgruppe Informatik
PY - 1994
N2 - Literaturverz. S. 18 - 20
BT - Aachener Informatik-Berichte ; 94,2
CY - Aachen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation