Hierarchical Annotated Action Diagrams
An Interface-Oriented Specification and Verification Method
Edición de la obra Hierarchical annotated action diagrams
| Autor | Eduard Cerny, Bachir Berkane, Pierre Girodias, Karim Khordoc |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 31, 1998 |