Microsoft Research
Microsoft Translator |
Counterexample-guided focus

Andreas Podelski and Thomas Wies
2010

In  ACM Symposium on Principles of Programming Languages (POPL 2010)

Publisher  ACM

Details

TypeInproceedings
Pages249-260
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Counterexample-guided focus