CITATION STYLE
Berner, D., Suhaib, S., Shukla, S. K., & Talpin, J.-P. (2004). XFM: Extreme Formal Method for Capturing Formal Specification into Abstract Models. In Formal Methods and Models for System Design (pp. 331–349). Springer US. https://doi.org/10.1007/978-1-4020-8052-4_13
Mendeley helps you to discover research relevant for your work.