B   2007 Recent Advances in the Development and Use of the B Method
Wall of Fame | Most Viewed B-2007 Paper
10 years 8 months ago
Automatic Translation from Combined B and CSP Specification to Java Programs
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
Letu Yang, Michael Poppleton
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source242
2Download preprint from source189
3Download preprint from source176
4Download preprint from source166
5Download preprint from source156
6Download preprint from source153
7Download preprint from source140
8Download preprint from source133
9Download preprint from source123
10Download preprint from source121