Context

Context of Mathematics of program construction : 9th international conference, MPC 2008, Marseille, France, July 15-18, 2008 : proceedings, Philippe Audebaud, Christine Paulin-Mohring (eds.), (electronic resource)
Processing Feedback ...