Back to Search
Start Over
Using use cases in Executable Z.
- Source :
- ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods; 2000, p111-119, 9p
- Publication Year :
- 2000
Details
- Language :
- English
- ISBNs :
- 9780769508221
- Database :
- Complementary Index
- Journal :
- ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods
- Publication Type :
- Conference
- Accession number :
- 81143627
- Full Text :
- https://doi.org/10.1109/ICFEM.2000.873811