Login / Signup

Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.

Daniel MatichukToby C. MurrayJune AndronickD. Ross JefferyGerwin KleinMark Staples
Published in: ICSE (1) (2015)
Keyphrases