- [1]
- Müller, S.M. and Paul, W.J.
Computer Architecture, Complexity and Correctness
Springer Verlag ISBN 3-540-67481-0
- [2]
- Beyer, Sven: Putting it all together - Formal Verification of the VAMP, PhD thesis (under appraisal), Saarland University, Saarbrücken, 2004
|