CITATION STYLE
Hutchison, D., & Mitchell, J. C. (1973). Tools for Practical Software Verification.
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley