ACM Special Interest Group on Programming Languages, sponsoring body, & Association internationale pour les technologies objets, sponsoring body. (2017). FTfJP 2017: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs : Barcelona, Italy, June 20th, 2017. ACM.
Cita Chicago Style (17a ed.)ACM Special Interest Group on Programming Languages, sponsoring body, y sponsoring body Association internationale pour les technologies objets. FTfJP 2017: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs : Barcelona, Italy, June 20th, 2017. New York: ACM, 2017.
Cita MLA (9a ed.)ACM Special Interest Group on Programming Languages, sponsoring body, y sponsoring body Association internationale pour les technologies objets. FTfJP 2017: Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs : Barcelona, Italy, June 20th, 2017. ACM, 2017.
