scientific article; zbMATH DE number 5041731
From MaRDI portal
Publication:5476866
zbMath1106.68025MaRDI QIDQ5476866
Publication date: 19 July 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
High-level modelling for typed functional programming ⋮ Improving the semantics of the software cost reduction method
This page was built for publication:
