Kozen, Dexter profile picture

Kozen, Dexter

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

Dynamic Logic (Foundations of Computing)