scientific article; zbMATH DE number 5222368

zbMath1128.68116MaRDI QIDQ5431916

Ryszard Janicki, Jacques Carette

Publication date: 2 January 2008

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Convergence: integrating termination and abort-freedom ⋮ Reflexive transitive invariant relations: A basis for computing loop functions

Uses Software

• Maple

This page was built for publication: