Treffer: Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs

Titel:

Veröffentlicht:

[Erscheinungsort nicht ermittelbar] : Association for Computing Machinery, 2024

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (49 p.)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

ACM Conferences

Schlagworte:

ISBN:

9798400711114

Zusatz-Informationen