FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020

Wytse Oortwijn, editor, FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, Virtual Event, USA, July 23, 2020. ACM, 2020. [doi]

Conference: ECOOP2020

Abstract

Abstract is missing.

Table of Contents