Applications of metric coinduction

DOI10.1007/978-3-540-73859-6_22MaRDI QIDQ6829998zbMATH OpenFDO

Authors Dexter Kozen, Nicholas Ruozzi

Publication date 10 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Applications of metric coinduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6829998)