Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs

Бібліографічні деталі
Інші автори: Rebelo
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: Association for Computing Machinery (ACM), 6/7/22
Предмети:
Онлайн доступ:Full text available on Research4Life (ACM)

Схожі ресурси