scientific article; zbMATH DE number 1834683
From MaRDI portal
Publication:4779179
zbMath0999.03026MaRDI QIDQ4779179
Publication date: 25 November 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2136/21360645
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)
Related Items (1)
This page was built for publication:
