Tests and Proofs Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings / edited by Catherine Dubois.
Material type:
- 9783642029493
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
ICCBS Digital Library | Not for loan |