Mathematics of dependable systems II : based on the proceedings of a conference organized by the Institute of Mathematics and its Applications on the mathematics of dependable systems, and held at the University of York in August 1995 /
Stavridou, V.(Victoria)
Institute of Mathematics and Its Applications.
Oxford : Clarendon Press,
1997.
Computer software
Electronic digital computers