6 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Tomohiro Oda, Han-Myung Chang
The executable specification is one of the powerful tools in lightweight formal software development. VDM-SL allows the explicit and executable definition of operations that refere…