Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/icalp/MoriconiS81
AU - Moriconi, Mark
AU - Schwartz, Richard L.
TI - Automatic Construction of Verification Condition Generators From Hoare Logics.
BT - Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings
SP - 363
EP - 377
PY - 1981//
DO - 10.1007/3-540-10843-2_30
UR - https://doi.org/10.1007/3-540-10843-2_30
ER -