Hao Chen and David A. Wagner: MOPS: an infrastructure for examining security properties of software. (2002)conf/ccs/ChenW0210.1145/586110.586142MOPS: an infrastructure for examining security properties of software.2Hao Chen 00031David A. Wagner 00012235-244CCSCCS20022002provenance information for RDF data of dblp record 'conf/ccs/ChenW02'2020-11-10T20:00:55+0100