scientific article; zbMATH DE number 1927416
From MaRDI portal
Publication:4484334
zbMath1013.68114MaRDI QIDQ4484334
Kuntal Das Barman, Venanzio Capretta, Yves Bertot
Publication date: 12 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100083.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
This page was built for publication:
