FTfJP '23 : Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs : July 18, 2023 Seattle, WA, USA /

Gespeichert in:
Weitere Titel:
FTfJP 2023
1. Verfasser:
Tomb, Aaron
Körperschaften:
International Workshop on Formal Techniques for Java-like Programs Seattle, International Workshop on Formal Techniques for Java-like Programs
Weitere Verfasser:
Tomb, Aaron (HerausgeberIn)
Format:
Tagungsbericht Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York : Association for Computing Machinery, 2023.
Umfang:
1 online resource (64 pages).
Anmerkungen:
Includes index.
Schriftenreihe:
ACM Conferences
Schlagworte:
Formal methods (Computer science) > Congresses.
Java (Computer program language) > Congresses.
Compilers (Computer programs) > Congresses.
Computer science > Congresses.
Programming languages (Electronic computers) > Congresses.
Bezugswerke: