scientific article; zbMATH DE number 5033866

zbMath1096.68027MaRDI QIDQ5472914

Jonathan C. Martin, Andy King

Publication date: 19 June 2006

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

zbMATH Keywords

semi-delay recurrency

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

A pearl on SAT and SMT solving in Prolog ⋮ Non-discriminating Arguments and Their Uses

This page was built for publication: