Scaling Client-Specific Equivalence Checking via Impact Boundary Search
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.734-745EISSN: 2643-1572 ;EISBN: 9781450367684 ;EISBN: 1450367682 ;DOI: 10.1145/3324884.3416634 ;CODEN: IEEPAD
Digital Resources/Online E-Resources
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||