OXFORD UNIVERSITY COMPUTING LABORATORY

Checking Concurrent Contracts with Aspects

Eric Kerfoot, Steve McKeever

info

book title

Proceedings of the 25th Annual Symposium On Applied Computing

month

March

year

2010

links

BibTeX

Download (pdf)

related pages

people

Random Image
Random Image
Random Image