Publication:3504342

zbMath1137.68628MaRDI QIDQ3504342

Ryszard Janicki, Jacques Carette

Publication date: 11 June 2008

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

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

Related Items

A versatile concept for the analysis of loops

Uses Software

• gfun