| Title: |
Tutorial I: Syntax-guided synthesis |
| Authors: |
Alur, R.; Grundy, J.; Jha, S.; Reps, T.; Harris, B.; Foster, N.; Guha, A.; Reitblatt, M.; Schlesinger, C. |
| Source: |
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on. :189-194 Oct, 2013 |
| Relation: |
2013 Eleventh IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013) |
| Database: |
IEEE Xplore Digital Library |