A Composition Mechanism for Refinement-Based Methods
| Title: | A Composition Mechanism for Refinement-Based Methods |
|---|---|
| Authors: | Hoang, T.S.; Dghaym, D.; Snook, C.; Butler, M. |
| Source: | 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) Engineering of Complex Computer Systems (ICECCS), 2017 22nd International Conference on. :100-109 Nov, 2017 |
| Relation: | 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) |
| Database: | IEEE Xplore Digital Library |