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