scientific article; zbMATH DE number 1982200

From MaRDI portal

Revision as of 02:56, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4426375

Jump to:navigation, search

zbMath1023.68534MaRDI QIDQ4426375

K. Rustan M. Leino

Publication date: 16 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2648/26480104.htm

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Verification of Boolean programs with unbounded thread creation

Uses Software

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4426375&oldid=18457441"