| |
| 2008 | ||
|---|---|---|
| 2 | EE | Boris Gutkovich: Integration of CP and Compilation Techniques for Instruction Sequence Test Generation. CPAIOR 2008: 313-317 |
| 2007 | ||
| 1 | EE | Wei Qin, Asa Ben-Tzur, Boris Gutkovich: An ADL for Functional Specification of IA32. MTV 2007: 119-127 |
| 1 | Asa Ben-Tzur | [1] |
| 2 | Wei Qin | [1] |