The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/29061
Record Status Checked
Record Id 29061
Title The VDM+B Project
Abstract The VDM+B project is developing the underpinnings for an integration of VDM and B enabling their co-use within one formal development. In this paper we describe the objectives for the project, the approach being undertaken and the current status of the work.
Organisation CCLRC , BITD
Keywords Embeddings of Logics , B , Logic Integration , VDM , General Logics , Axiomatic Semantics
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 2nd Panhellenic Logic Symposium (2nd PLS), Delphi, Greece, 13-17 Jul 1999, (1999). vdmbPSL2.ps