DMCA

Combining Testing and Proof to Gain High Assurance in Software: a Case Study

Cached

Download Links

by Peter Bishop , Robin Bloomfield , Lukasz Cyra
Citations:1 - 0 self