scientific article; zbMATH DE number 1543355

zbMath0960.68113MaRDI QIDQ4520830

Meurig Beynon, J. E. Sinclair, Jaratsri Rungrattanaubol

Publication date: 27 February 2001

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

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

zbMATH Keywords

formal specificationempirical modelling

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: