Extended sequential reasoning for data-race-free programs

Laura Effinger-Dean
Dhruva R. Chakrabarti
Pramod G. Joisha
MSPC(2011), pp. 22-29

Abstract

Research Areas