scientific article; zbMATH DE number 7297868

zbMath1460.68061MaRDI QIDQ5144667

Jérémy Ledent, Martin Hofmann

Publication date: 19 January 2021

Full work available at URL: http://dl.acm.org/citation.cfm?id=3330055

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Enforcing Programming Guidelines with Region Types and Effects, Temporal refinements for guarded recursive types, Domains for Higher-Order Games