scientific article
From MaRDI portal
Publication:2763686
zbMath0977.68518MaRDI QIDQ2763686
Publication date: 21 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2028/20280387
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
