scientific article; zbMATH DE number 1903352
From MaRDI portal
Publication:4804894
zbMath1010.68502MaRDI QIDQ4804894
Jakob Rehof, Sriram K. Rajamani
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040166.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Uses Software