scientific article; zbMATH DE number 1744965
From MaRDI portal
Publication:4531760
zbMath0985.68676MaRDI QIDQ4531760
Michael Baldamus, Jochen Schröder-Babo
Publication date: 23 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2057/20570183
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)
Related Items
Uses Software