The Logic of U ·(TP)2

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35705-3_6 ◽

2013 ◽

pp. 124-143 ◽

Cited By ~ 6

Author(s):

Andrew Butterfield

Download Full-text