文献
J-GLOBAL ID:202202239216539746
整理番号:22A1105053
Wit4Java:Java検証者のための違反性検証者(競争貢献)【JST・京大機械翻訳】
Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution)
著者 (3件):
Wu Tong
(University of Manchester, Manchester, United Kingdom)
,
Schrammel Peter
(University of Sussex, Brighton, and Diffblue Ltd, Oxford, United Kingdom)
,
Cordeiro Lucas C.
(University of Manchester, Manchester, United Kingdom)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
13244
ページ:
484-489
発行年:
2022年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)