Amrani, M. &
Schobbens, P. Y.,
18 Jun 2017,
Proceedings of the 19th Workshop on Formal Techniques for Java-Like Programs, FTfJP 2017 - Co-located with ECOOP 2017. ACM Press,
p. 1-6 6 p. (Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs - FTFJP'17).
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution