DMCA

Making the most of formal specification through animation, testing and proof

Cached

Download Links

by Juan Bicarregui , Jeremy Dick_ , Brian Matthews , Eoin Wood
Citations:20 - 6 self