scientific article

zbMath0729.68007MaRDI QIDQ3997417

David C. Luckham

Publication date: 23 January 1993

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

zbMATH Keywords

specification languagesoftware developmentAdaANNAprogramming with specifications

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Specification and verification challenges for sequential object-oriented programs ⋮ ANNA

Uses Software

• Unnamed Item

This page was built for publication: