Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs

書誌詳細
フォーマット: 電子媒体 eBook
言語:英語
出版事項: Association for Computing Machinery (ACM), 7/18/23
主題:
オンライン・アクセス:Full text available on Research4Life (ACM)

類似資料