scientific article

zbMath0988.68541MaRDI QIDQ2766781

Oege de Moor, Ganesh Sittampalam

Publication date: 22 July 2002

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

Mathematics Subject Classification ID

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

Related Items

Program Calculation in Coq, Deterministic second-order patterns