scientific article; zbMATH DE number 2087618
From MaRDI portal
Publication:4738462
zbMath1077.68703MaRDI QIDQ4738462
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2318/23180006.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items
This page was built for publication:
