Comment on a paper by Maley et al.

DOI10.1016/S0010-4655(96)00148-8MaRDI QIDQ1295797zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(1)

• Comments on Macia's paper

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

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