-
Bib ID# 41615
ISBN: 9783642253799
UPC: 10.1007/978-3-642-25379-9
Title: Certified Programs and ProofsFirst International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Author: Jouannaud, Jean-Pierre.
Publication Info:
Item Type: Language material