scientific article
From MaRDI portal
Publication:4028631
zbMath0769.68096MaRDI QIDQ4028631
Juan Quemada, David de Frutos, Yolanda Ortega, Sergio Pavon, M. Hultström
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
