-
Bib ID# 20412
ISBN: 9783319035451
UPC: 10.1007/978-3-319-03545-1
Title: Certified Programs and ProofsThird International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings /
Author: Gonthier, Georges.
Publication Info:
Item Type: Language material