Formal Methods

DOI10.1007/978-3-030-05156-3zbMath1474.68003OpenAlexW4241855353MaRDI QIDQ5165474

Hanne Riis Nielson, Flemming Nielson

Publication date: 16 November 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-05156-3

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• F#