A Program Integration Algorithm that Accommodates Semantics-Preserving Transformations
- Wuu Yang
- , Susan Horwitz
- , Thomas Reps
研究成果: Article › 同行評審
42
引文
斯高帕斯（Scopus）