MPC 2002 (2002 Dagstuhl Castle, Germany) profile picture

MPC 2002 (2002 Dagstuhl Castle, Germany)

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Mathematics of program construction
Mathematics of program construction: 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings