Login / Signup

Mining Interface Specifications for Generating Checkable Robustness Properties.

Mithun AcharyaTao XieJun Xu
Published in: ISSRE (2006)
Keyphrases