scientific article; zbMATH DE number 1107557

zbMath0886.68093MaRDI QIDQ4373486

Paul Mukherjee

Publication date: 4 May 1998

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

zbMATH Keywords

model-based languagesVDM-SL specification

Mathematics Subject Classification ID

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

This page was built for publication: