scientific article; zbMATH DE number 6292611

DOI10.4086/CJTCS.2010.009zbMath1286.68323OpenAlexW4235324915MaRDI QIDQ5414584

Ian Toyn, Petra Malik, Mark Utting

Publication date: 6 May 2014

Published in: Chicago Journal of Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4086/cjtcs.2010.009

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Uses Software

• Unnamed Item
• Unnamed Item
• CZT
• Z

This page was built for publication: