Mathematics of program construction : 12th international conference, MPC 2015 : Königswinter, Germany, June 29-July 1, 2015 : proceedings : Jun 2015, Königswinter, Germany. (Lecture Notes in Computer Science ; 9129)
Mathematics of program construction : 12th international conference, MPC 2015 : Königswinter, Germany, June 29-July 1, 2015 : proceedings : Jun 2015, Königswinter, Germany.