Links

mpc 2012: Mathematics of Program Construction 2012

June 25, 2012-June 27, 2012 in Madrid, Spain

Conference Program

25/06/2012

26/06/2012

27/06/2012

runs on