Integration of reusable systems : IEEE international workshop on formal methods integration : 14th IEEE international conference on information reuse and integration : IEEE-IRI'2013 : Aug 2013, San Francisco, CA.
(Advances in Intelligent Systems and Computing ; 263)