English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Hauptwerk
KORSO: Methods, Languages and Tools for the Construction of Correct Software
Details
Publications
Statistics
Options
Show all metadata (technical view)
Title
KORSO: Methods, Languages and Tools for the Construction of Correct Software
Publisher
Springer
Publishing Place
Berlin/Heidelberg
Publication Date
1995
Series
Lecture Notes in Computer Science; 1009
ISBN
3-540-60598-4
