scientific article
From MaRDI portal
Publication:3993442
zbMath0702.68015MaRDI QIDQ3993442
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Theory of software (68N99)
This page was built for publication:
