Tests and proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 : revised papers
Author(s)
Bibliographic Information
Tests and proofs : First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 : revised papers
（Lecture notes in computer science, 4454）
Springer, c2007
Available at / 5 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
