Verifying Event-Driven Programs using Ramified Frame Properties (2009)

by Neelakantan R. Krishnaswami , Lars Birkedal , Jonathan Aldrich
Citations:14 - 7 self