Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Counterexample-guided focus

Andreas Podelski and Thomas Wies

Details

Publication typeInproceedings
Published inACM Symposium on Principles of Programming Languages (POPL 2010)
Pages249-260
PublisherACM
> Publications > Counterexample-guided focus