Workshop on Certification of High-Level and Low-Level Programs

Jul 7, 2014 · Paris, France

Part of the Institut Henri Poincaré thematic trimester Semantics of proofs and certified mathematics

Event organizers

Are you organizing Workshop on Certification of High-Level and Low-Level Programs?

Claim the event and start manage its content.

I am the organizer
Social
Rating

based on 0 reviews

Featured Events