APA (7th ed.) Citation

Laleau, R., Méry, D., Nakajima, S., & Troubitsyna, E. (2018). Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD). Electronic Proceedings in Theoretical Computer Science, 271, . https://doi.org/10.4204/eptcs.271

Chicago Style (17th ed.) Citation

Laleau, Régine, Dominique Méry, Shin Nakajima, and Elena Troubitsyna. "Proceedings Joint Workshop on Handling IMPlicit and EXplicit Knowledge in Formal System Development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)." Electronic Proceedings in Theoretical Computer Science 271 (2018). https://doi.org/10.4204/eptcs.271.

MLA (9th ed.) Citation

Laleau, Régine, et al. "Proceedings Joint Workshop on Handling IMPlicit and EXplicit Knowledge in Formal System Development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)." Electronic Proceedings in Theoretical Computer Science, vol. 271, 2018, https://doi.org/10.4204/eptcs.271.