%0
Generic
%T
Software product and process quality improvement using formal methods
%A Mishra, Satish
%A Fischer, Joachim
%A Krieg-Brückner, Bernd
%A Schlingloff, Holger
%I Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
%K Software Prudukt und Software Prozess
%K Formal Methoden
%K CMMI
%K CSP CASL
%K Software Pruduct und Software Process
%K Formal Methods
%K Hochschulschrift
%D 2015
%C Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2