scientific article; zbMATH DE number 1543358

zbMath0960.68114MaRDI QIDQ4520833

L. J. Steggles

Publication date: 27 February 2001

Full work available at URL: http://www.jucs.org/jucs_6_4/specifying_and_verifying_real

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

zbMATH Keywords

real-time systemssecond-order algebraic methods

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

Verifying an infinite systolic algorithm using third-order equational methods

This page was built for publication: