Publications
Filter by
Open menu
2 results for
Shaon Barman
Angelic debugging
Satish Chandra
Emina Torlak
et al.
2011
ICSE 2011
Programming with angelic nondeterminism
Rastislav Bodik
Satish Chandra
et al.
2010
POPL 2010