Publication:5431916
From MaRDI portal
zbMath1128.68116MaRDI QIDQ5431916
Ryszard Janicki, Jacques Carette
Publication date: 2 January 2008
68W30: Symbolic computation and algebraic computation
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Reflexive transitive invariant relations: A basis for computing loop functions, Convergence: integrating termination and abort-freedom
Uses Software