Mathematics of program construction：10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings

Corporate Authors: MPC 2010 (2010 Québec, Québec); SpringerLink (Online service)
Group Author: Desharnais Jules.; Ktari Béchir.; Bolduc Claude.
Published: Springer,
Publication Dates: c2010.