English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
Automating test case generation from Z specifications in Isabelle
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1997
Conference Paper
Title
Automating test case generation from Z specifications in Isabelle
Author(s)
Helke, S.
Neustupny, T.
Santen, T.
Mainwork
The Z formal specification notation. Proceedings
Conference
International Conference of Z Users 1997
DOI
10.1007/BFb0027283
Language
English
FIRST
