Anna Zaks

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

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

1 Anna Zaks, Rajeev Joshi: Verifying Multi-threaded C Programs with SPIN. SPIN 2008: 325-342

	2008
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
1		Anna Zaks, Rajeev Joshi: Verifying Multi-threaded C Programs with SPIN. SPIN 2008: 325-342

Coauthor Index

1 Rajeev Joshi [1]

2 Amir Pnueli [2] [3]

Colors in the list of coauthors