Verifying procedural programs via constrained rewriting induction

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Originalsprog	Engelsk
Artikelnummer	14
Tidsskrift	ACM Transactions on Computational Logic
Vol/bind	18
Udgave nummer	2
Antal sider	50
ISSN	1529-3785
DOI	https://doi.org/10.1145/3060143
Status	Udgivet - jun. 2017

Datalogisk Institut