scientific article; zbMATH DE number 1324649

zbMath0920.68073MaRDI QIDQ4255547

Wilco Koorn, Roland N. Bol, Arjan van Waveren, Liang Oei, Steven Klusener, Stefan Vos de Wael, Sebastiaan van Vlijmen, Frank A. Van der Duyn Schouten

Publication date: 18 August 1999

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=21#21008

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

specification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: