Automatic Translation from Combined <i>B</i> and CSP Specification to Java Programs.

Letu Yang Michael Poppleton Automatic Translation from Combined <i>B</i> and CSP Specification to Java Programs. 64-78 2007 conf/b/2007 B http://dx.doi.org/10.1007/11955757_8 db/conf/b/b2007.html#YangP07