CITATION STYLE
Chaudron, M. R. V., Tretmans, J., & Wijbrans, K. (1999). FM’99 — Formal Methods. (J. M. Wing, J. Woodcock, & J. Davies, Eds.), World Congress on Formal Methods (Vol. 1709, pp. 1511–1526). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/3-540-48118-4
Mendeley helps you to discover research relevant for your work.