scientific article
From MaRDI portal
Publication:2771775
zbMath0980.68610MaRDI QIDQ2771775
Thomas Quinot, Samuel Tardieu, Laurent Pautet
Publication date: 18 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2043/20430123
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Computing methodologies and applications (68U99) Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01)
Uses Software
This page was built for publication:
