Operational specifications with built-ins

DOI10.1007/3-540-57785-8_147MaRDI QIDQ4942661zbMATH OpenFDO

Authors Jürgen Avenhaus, K. Becker

Publication date 16 March 2000

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

Full work available at URL https://doi.org/10.1007/3-540-57785-8_147

Mathematics Subject Classification ID

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

This page was built for publication: Operational specifications with built-ins

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