tap 2009: TAP - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Submissions:
Notification:
Event:	-

Catherine Dubois, editor, Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Volume 5668 of Lecture Notes in Computer Science, Springer, 2009.