scientific article; zbMATH DE number 1487731
From MaRDI portal
Publication:4494242
zbMath0964.68524MaRDI QIDQ4494242
Dominique Méry, Paul F. Gibson, Geoff W. Hamilton
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: