scientific article
From MaRDI portal
Publication:3998936
zbMath0789.68006MaRDI QIDQ3998936
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
This page was built for publication: