International Conference on the Mathematics of Program Construction (5th 2000 Ponte do Lima, Portugal) profile picture

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

Mathematics of program construction