![](/img/cover-not-exists.png)
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments
Bae, Jung Ho, Chae, Heung SeokVolume:
15
Language:
english
Journal:
Software & Systems Modeling
DOI:
10.1007/s10270-014-0440-2
Date:
July, 2016
File:
PDF, 2.56 MB
english, 2016