(1 - 12 from 21
)
Automated Technology for Verification and Analysis
www-verimag.imag.fr
... (University of Pennsylvania); Doron A. Peled (University of Warwick); Farn Wang (National Taiwan University); Hsu-Chun Yen (National Taiwan University) ...
sorted by relevance / date