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

*Title*:

*Publication*:

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

*Distribution*:

New York, NY : ACM

*Physical description scale*:

1 Online-Ressource (49 p.)

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

ACM Conferences

*Subject Added Keywords*:

*ISBN*:

9798400711114

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