Treffer: Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs

Titel:

Körperschaft:

Veröffentlicht:

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

Vertrieb:

New York, NY : ACM

Umfang:

1 Online-Ressource (38 p.)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

ACM Other conferences

Schlagworte:

ISBN:

9781450368643

Zusatz-Informationen