APA Citation

Broy, M., & Jähnichen, S. (1995). KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (1st ed. 1995.). Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago Style Citation

Broy, Manfred, and Stefan Jähnichen. KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report. 1st ed. 1995. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995.

MLA Citation

Broy, Manfred, and Stefan Jähnichen. KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report. 1st ed. 1995. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995.

Warning: These citations may not always be 100% accurate.