| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 4 |       | Mitra Purandare, Thomas Wahl, Daniel Kroening: Strengthening properties using abstraction refinement. DATE 2009: 1692-1697 |
Selection of 1 from 4 records - Mitra Purandare has 5 coauthors
Copyright © 2010-01-08 by Michael Ley (ley@uni-trier.de)