Comment on a paper by Maley et al.

DOI10.1016/S0010-4655(96)00148-8zbMATH Open1077.68698OpenAlexW2084093443MaRDI QIDQ1295797FDOQ1295797

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)

Cites Work

• Title not available (Why is that?)

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)