DMCA

Making the most of formal specification throughAnimation, Testing and Proof.

Cached

Download Links

by Jeremy Dicky , Brian Matthewsz , Eoin Woodsx