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

Titel:

Körperschaft:

Veröffentlicht:

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

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (67 p.)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

ACM Conferences

Schlagworte:

ISBN:

9781450385435

Zusatz-Informationen