Anna Zaks (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3 Anna Zaks, Amir Pnueli: CoVaC: Compiler Validation by Program Analysis of the Cross-Product. FM 2008: 35-51

2 Anna Zaks, Amir Pnueli: Program analysis for compiler validation. PASTE 2008: 1-7

Selection of 2 from 3 records - Anna Zaks has 2 coauthors

3		Anna Zaks, Amir Pnueli: CoVaC: Compiler Validation by Program Analysis of the Cross-Product. FM 2008: 35-51
2		Anna Zaks, Amir Pnueli: Program analysis for compiler validation. PASTE 2008: 1-7