Verified Compilation and the B Method: A Proposal and a First Appraisal (Q5179355)
From MaRDI portal
scientific article; zbMATH DE number 6417333
Language | Label | Description | Also known as |
---|---|---|---|
English | Verified Compilation and the B Method: A Proposal and a First Appraisal |
scientific article; zbMATH DE number 6417333 |
Statements
Verified Compilation and the B Method: A Proposal and a First Appraisal (English)
0 references
19 March 2015
0 references
verifying compiler
0 references
B method
0 references