Structured Calculational Proof (1996)

Cached

Download Links

by Ralph Back , Jim Grundy , Joakim von Wright , Turku Centre , Computer Science
Citations:16 - 9 self

Documents Related by Co-Citation

259 Re Calculus, A Systematic Introduction – R J R Back, J von Wright - 1997
1423 A Discipline of Programming – E W Dijkstra - 1976
576 Assigning meanings to programs – R W Floyd
1390 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
469 The Science of Programming – D Gries - 1987
1223 Tcl and the Tk Toolkit – John K. Ousterhout - 1994
857 A formulation of the simple theory of types – Alonzo Church - 1940
571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
507 Symbolic Model Checking: An Approach to the State Explosion Problem – K L McMillan - 1993