ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
Full Record Details
Persistent URL
http://purl.org/net/epubs/work/29061
Record Status
Checked
Record Id
29061
Title
The VDM+B Project
Contributors
J Bicarregui
,
T Dimitrakos
,
B Matthews
,
T Maibaum
,
K Lano
,
B Ritchie
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
vdmbPSL2.pdf
1999
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar