scientific article; zbMATH DE number 2003150
From MaRDI portal
Publication:4435460
zbMath1023.68654MaRDI QIDQ4435460
Achim D. Brucker, Burkhart Wolff
Publication date: 12 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2646/26460059.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
This page was built for publication:
