International Conference on the Mathematics of Program Construction (5th 2000 Ponte do Lima, Portugal)
Is this your author profile? Create an account to claim and customize it!
Stand Alone
Is this your author profile? Create an account to claim and customize it!