Executable semantic descriptions
From MaRDI portal
Publication:3694666
DOI10.1002/spe.4380160104zbMath0575.68017OpenAlexW2032192093MaRDI QIDQ3694666
Publication date: 1986
Published in: Software: Practice and Experience (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/spe.4380160104
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Cites Work
This page was built for publication: Executable semantic descriptions