Incremental Consistency Checking for Pervasive Context (2006)

by C Xu, S C Cheung, W K Chan
Venue:In Proceedings of the 28th ICSE