Gary T. Leavens
AuthID: R-00J-Y1A
1
TITLE: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA
AUTHORS: Shail Arora; Gary T Leavens;
PUBLISHED: 2009, SOURCE: OOPSLA Companion
AUTHORS: Shail Arora; Gary T Leavens;
PUBLISHED: 2009, SOURCE: OOPSLA Companion
INDEXED IN: 
DBLP
DBLP