On relative completeness of Hoare logics
✍
Michal Grabowski
📂
Article
📅
1985
🏛
Elsevier Science
⚖ 683 KB