NATO ASI DPD

Keyphrases

Publications

1996

Manfred Broy
Specification and refinement of a buffer of length one. NATO ASI DPD (1996)
Edmund M. Clarke, Orna Grumberg, David E. Long
Model checking. NATO ASI DPD (1996)
Edsger W. Dijkstra
On two equations that have the same extreme solution. NATO ASI DPD (1996)
Edsger W. Dijkstra
Bulterman's theorem on shortest trees. NATO ASI DPD (1996)
Richard S. Bird, Oege de Moor
The algebra of programming. NATO ASI DPD (1996)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD (1996)
Edsger W. Dijkstra
The balance and the coins. NATO ASI DPD (1996)
Michael P. Fourman
Proof and design. NATO ASI DPD (1996)
Edsger W. Dijkstra
Fibonacci and the greatest common divisor. NATO ASI DPD (1996)
Edsger W. Dijkstra
The argument about the arithmetic mean and the geometric mean, heuristics included. NATO ASI DPD (1996)
Fred B. Schneider
On traditions in Marktoberdorf. NATO ASI DPD (1996)
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany NATO ASI DPD (1996)
C. A. R. Hoare
Mathematical models for computing science. NATO ASI DPD (1996)
Alain J. Martin
A program transformation approach to asynchronous VLSI design. NATO ASI DPD (1996)
Martín Abadi, Stephan Merz
On TLA as a logic. NATO ASI DPD (1996)
David Gries
Data refinement and the transform. NATO ASI DPD (1996)
Edsger W. Dijkstra
A bagatelle on Euclid's algorithm. NATO ASI DPD (1996)
Fred B. Schneider
Notes on proof outline logic. NATO ASI DPD (1996)
Edsger W. Dijkstra
An alternative of the ETAC to EWD1163. NATO ASI DPD (1996)
Edsger W. Dijkstra
A prime is in at most 1 way the sum of 2 squares. NATO ASI DPD (1996)