Joonghoon Lee, Nicolas Klose, Seokhyun Lee, Peter Müller, Hakjoo Oh, "Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification" [doi]
게시판
연구성과
연구성과
| 제목 | 오학주 교수 연구실, ISSTA 2026 논문 1편 발표 (ACM SIGSOFT International Symposium on Software Testing and Analysis) |
|---|---|
| 내용 |
|
| 첨부 |