scientific article; zbMATH DE number 2107183

zbMath1049.68046MaRDI QIDQ4821318

Shaoying Liu

Publication date: 12 October 2004

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

zbMATH Keywords

structured object-oriented formal language

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (1)

Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification

Uses Software

• Unnamed Item

This page was built for publication: