DMCA

A machine-checked proof for a translation of event-b machines to jml specifications (2012)

Cached

Download Links

by Camilo Rueda , Tim Wahls , Eafit Unviersity
Citations:2 - 2 self