Login / Signup

Lazy Runtime Verification for Constraints on Interacting Objects.

Jin ShaoFang DengHaiwen LiuQianxiang WangHong Mei
Published in: APSEC (2010)
Keyphrases