Preface: Special issue on automatic resource bound analysis

DOI10.1007/s10817-016-9399-8zbMath1368.00054OpenAlexW2560235979MaRDI QIDQ2398169

No author found.

Publication date: 15 August 2017

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-016-9399-8

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verifying Procedural Programs via Constrained Rewriting Induction

This page was built for publication: Preface: Special issue on automatic resource bound analysis