APA (7th ed.) Citation

Mammar, A., & Frappier, M. (2015). Proof-based verification approaches for dynamic properties: Application to the information system domain. Formal Aspects of Computing, 27(2), 335. https://doi.org/10.1007/s00165-014-0323-x

Chicago Style (17th ed.) Citation

Mammar, Amel, and Marc Frappier. "Proof-based Verification Approaches for Dynamic Properties: Application to the Information System Domain." Formal Aspects of Computing 27, no. 2 (2015): 335. https://doi.org/10.1007/s00165-014-0323-x.

MLA (9th ed.) Citation

Mammar, Amel, and Marc Frappier. "Proof-based Verification Approaches for Dynamic Properties: Application to the Information System Domain." Formal Aspects of Computing, vol. 27, no. 2, 2015, p. 335, https://doi.org/10.1007/s00165-014-0323-x.