CITATION STYLE
Gumb, R. D. (2001). Free Logic in Program Specification and Verification (pp. 157–193). https://doi.org/10.1007/978-94-015-9761-6_9
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley