Similar Items
- Formal Aspects of Computing : vol. 14, 2003.
-
An introduction to formal specification and Z
by: POTTER
Published: (1996) - Computing and Control Engineering Journal : vol. 13, 2002.
-
Aspects of love
by: GARNETT
Published: (1955) -
The way of Z practical programming with formal methods
by: Jacky, Jonathan
Published: (1997)