Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs
Resource type: Ressourcentyp: Buch (Online)Book (Online)Series: ACM Conferences | ACM Digital LibraryPublisher: [Erscheinungsort nicht ermittelbar] : Association for Computing Machinery, 2024Description: 49 pISBN:- 9798400711114
- FTfJP 2024
No physical items for this record