Comment on a paper by Maley et al.

DOI10.1016/S0010-4655(96)00148-8zbMath1077.68698OpenAlexW2084093443MaRDI QIDQ1295797

Michael Metcalf

Publication date: 7 September 1999

Published in: Computer Physics Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0010-4655(96)00148-8

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item

This page was built for publication: Comment on a paper by Maley et al.