A Correct-By-Construction Model for Asynchronously Communicating Systems
International Journal on Software Tools for Technology Transfer- Germany
doi 10.1007/s10009-016-0421-6
Full Text
Abstract
Available in
Date
April 22, 2016
Authors
Publisher
Springer Science and Business Media LLC