English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Tool support for formal software development: A generic architecture
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1995
Conference Paper
Title
Tool support for formal software development: A generic architecture
Author(s)
Santen, T.
Heisel, M.
Zimmermann, D.
Mainwork
Software engineering
Conference
European Software Engineering Conference (ESEC) 1995
Language
English
FIRST
