Opening key-note speech
From MaRDI portal
Publication:1108772
DOI10.1007/BF03037131zbMATH Open0654.68007OpenAlexW2026860263MaRDI QIDQ1108772FDOQ1108772
Publication date: 1988
Published in: New Generation Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf03037131
History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (1)
This page was built for publication: Opening key-note speech
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1108772)