scientific article; zbMATH DE number 1735899

zbMath1061.68536MaRDI QIDQ4329260

Jules Desharnais, Ridha Khedri, Ali Milli

Publication date: 5 September 2002

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

zbMATH Keywords

software specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Defining the meaning of tabular mathematical expressions

This page was built for publication: