scientific article; zbMATH DE number 1950748
From MaRDI portal
Publication:4413446
zbMath1017.68066MaRDI QIDQ4413446
Publication date: 20 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2582/25820100.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
