TY -
GEN
AU - Mishra, Satish
AU - Fischer, Joachim
AU - Krieg-Brückner, Bernd
AU - Schlingloff, Holger
TI -
Software product and process quality improvement using formal methods
PB - Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
KW - Software Prudukt und Software Prozess
KW - Formal Methoden
KW - CMMI
KW - CSP CASL
KW - Software Pruduct und Software Process
KW - Formal Methods
KW - Hochschulschrift
PY - 2015
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -