Treffer: Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs
Titel:
Verantwortlich:
Veröffentlicht:
[Erscheinungsort nicht ermittelbar] : Association for Computing Machinery, 2022
Vertrieb:
New York, NY : ACM
Umfang:
1 Online-Ressource (41 p.)
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
ACM Other conferences
Schlagworte:
ISBN:
9798400707841