scientific article; zbMATH DE number 1927417

zbMath1013.68538MaRDI QIDQ4484335

Achim D. Brucker, Burkhart Wolff

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100099.htm

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• HOL-OCL
• Unnamed Item
• Unnamed Item

This page was built for publication: