140 followers
Unifying Theories of Programming in Isabelle: Foster, Simon (https://t.co/GoBxxv7KZu ) and Woodco... https://t.co/keRLXF7kLj #wrro
Unifying Theories of Programming in Isabelle: Foster, Simon (https://t.co/GoBxxv7KZu ) and Woodco... https://t.co/keRLXF7kLj #wrro