Checking Concurrent Contracts with Aspects
Eric Kerfoot and Steve McKeever
Book Title
Proceedings of the 25th Annual Symposium On Applied Computing
Month
March
Year
2010
Eric Kerfoot and Steve McKeever