FORMULA 2.0: A Language for Formal Specifications

DOI10.1007/978-3-642-39721-9_4zbMath1444.68052OpenAlexW86717647MaRDI QIDQ2948231

Wolfram Schulte, Ethan Jackson

Publication date: 30 September 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-642-39721-9_4

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

PTL: a model transformation language based on logic programming ⋮ FORMULA 2.0

This page was built for publication: FORMULA 2.0: A Language for Formal Specifications