scientific article; zbMATH DE number 751137
From MaRDI portal
Publication:4764628
zbMath0817.68101MaRDI QIDQ4764628
Klaus Havelund, Kim Guldstrand Larsen
Publication date: 4 May 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
