Meera Sridhar and Kevin W. Hamlen
In Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages meets Program Verification (PLPV), pp. 55—60, January 2011.
Publication year: 2011