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

Bibliografske podrobnosti
Drugi avtorji: Rebelo
Format: Elektronski eKnjiga
Jezik:angleščina
Izdano: Association for Computing Machinery (ACM), 6/7/22
Teme:
Online dostop:Full text available on Research4Life (ACM)

Podobne knjige/članki