Anna Zaks (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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