APA (7th ed.) Citation

Institute of Electrical and Electronics Engineers. (2019). Proceedings of the 7th International Workshop on Formal Methods in Software Engineering. IEEE.

Chicago Style (17th ed.) Citation

Institute of Electrical and Electronics Engineers. Proceedings of the 7th International Workshop on Formal Methods in Software Engineering. Piscataway, NJ, USA: IEEE, 2019.

MLA (9th ed.) Citation

Institute of Electrical and Electronics Engineers. Proceedings of the 7th International Workshop on Formal Methods in Software Engineering. IEEE, 2019.