Reasoning About Concurrent Objects (1995)

by Heinz W. Schmidt , Jian Chen
Venue:In: Proc. Asia-Pacific Software Engineering Conf. (APSEC '95), IEEE, Los Alamitos, Cal
Citations:16 - 7 self