![](/img/cover-not-exists.png)
[IEEE 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) - Fukuoka (2017.11.5-2017.11.8)] 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) - A Composition Mechanism for Refinement-Based Methods
Hoang, Thai Son, Dghaym, Dana, Snook, Colin, Butler, MichaelYear:
2017
Language:
english
DOI:
10.1109/iceccs.2017.27
File:
PDF, 290 KB
english, 2017