English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Buch
Tool support for the formal specification method Z-A survey
Details
Full
Export
Statistics
Options
1996
Book
Titel
Tool support for the formal specification method Z-A survey
Author(s)
Burghardt, J.
Gabriel, R.
Verlag
GMD Forschungszentrum Informationstechnik
Verlagsort
Sankt Augustin
Language
English
google-scholar
View Details
FIRST