CITATION STYLE
Formal foundation for specification and verification. (1985) (pp. 203–285). https://doi.org/10.1007/3-540-15216-4_15
Mendeley helps you to discover research relevant for your work.
Save time finding and organizing research with Mendeley