Automatic program inversion using symbolic transducers. In PLDI, Albert Cohen and Martin T. Vechev (Eds.)
-
- Hu Qinheping
- 作成者
収録刊行物
-
- ACM
-
ACM 376-, 2017