scientific article; zbMATH DE number 595218
From MaRDI portal
Publication:4296956
zbMath0809.68023MaRDI QIDQ4296956
No author found.
Publication date: 22 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (6)
A typed logic of partial functions reconstructed classically ⋮ Semantics of under-determined expressions ⋮ An approach to literate and structured formal developments ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ The connection between two ways of reasoning about partial functions ⋮ SETHEO goes software engineering: Application of ATP to software reuse
This page was built for publication:
