CITATION STYLE
Smith, P., & Bleech, N. (1989). Practical experience with a formal verification system. In High-Integrity Software (pp. 69–101). Springer US. https://doi.org/10.1007/978-1-4684-5775-9_4
Mendeley helps you to discover research relevant for your work.