Stavridou, V., Barringer, H., & Edwards, D. A. (1987). Formal specification and verification of hardware: A comparative case study. Univ.
Chicago-Zitierstil (17. Ausg.)Stavridou, Victoria, Howard Barringer, und Dough A. Edwards. Formal Specification and Verification of Hardware: A Comparative Case Study. Manchester: Univ, 1987.
MLA-Zitierstil (9. Ausg.)Stavridou, Victoria, et al. Formal Specification and Verification of Hardware: A Comparative Case Study. Univ, 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.