scientific article
From MaRDI portal
Publication:4028127
zbMath0800.94295MaRDI QIDQ4028127
Jean-Luc Paillet, Hans Eveking, L. Claesen, Paolo Prinetto, Dominique Borrione, George J. Milne
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
