"Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented ..."

Shail Arora, Gary T. Leavens (2009)

Details and statistics

DOI: 10.1145/1640089

access: closed

type: Editorship

metadata version: 2021-06-25