Description
Proof obligations generated with Atelier B, an IDE for the B method and Event-B. The files are in the POG format.
Citations (0)
No citations found
It looks like this dataset has no citations.
Mentions (0)
No mentions found
It looks like this dataset has not been mentioned in any sources.
Metrics Over Time
Publication Details
DOI
Publisher
Zenodo
Subfield
Accounting
Field
Business, Management and Accounting
Domain
Social Sciences
Confidence Score
74%
Source
Open Alex
Keywords
B methodProof obligation