Pages that link to "Item:Q3095242"
From MaRDI portal
The following pages link to Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (Q3095242):
Displayed 1 item.
The following pages link to Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving (Q3095242):
Displayed 1 item.