Counterexample-guided focus

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

Publisher  ACM

Details

TypeInproceedings
Pages249-260
> Publications > Counterexample-guided focus