DMCA

Data access specification and the most powerful symbolic attacker in MSR (2003)

Cached

Download Links

by Iliano Cervesato
Venue:In ISSS ’02, volume 2609 of LNCS
Citations:12 - 2 self