Conferences in DBLP
Fred B. Schneider On traditions in Marktoberdorf. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:1-4 [Conf ] Edsger W. Dijkstra Fibonacci and the greatest common divisor. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:7-10 [Conf ] Edsger W. Dijkstra The balance and the coins. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:11-13 [Conf ] Edsger W. Dijkstra Bulterman's theorem on shortest trees. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:15-16 [Conf ] Edsger W. Dijkstra A prime is in at most 1 way the sum of 2 squares. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:17-20 [Conf ] Edsger W. Dijkstra A bagatelle on Euclid's algorithm. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:21-23 [Conf ] Edsger W. Dijkstra On two equations that have the same extreme solution. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:25-26 [Conf ] Edsger W. Dijkstra An alternative of the ETAC to EWD1163. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:27-28 [Conf ] Edsger W. Dijkstra The argument about the arithmetic mean and the geometric mean, heuristics included. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:29-32 [Conf ] Samson Abramsky , Simon J. Gay , Rajagopal Nagarajan Interaction categories and the foundations of typed concurrent programming. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:35-113 [Conf ] C. A. R. Hoare Mathematical models for computing science. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:115-164 [Conf ] Richard S. Bird , Oege de Moor The algebra of programming. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:167-203 [Conf ] David Gries Data refinement and the transform. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:205-232 [Conf ] Martín Abadi , Stephan Merz On TLA as a logic. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:235-271 [Conf ] Manfred Broy Specification and refinement of a buffer of length one. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:273-304 [Conf ] Edmund M. Clarke , Orna Grumberg , David E. Long Model checking. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:305-349 [Conf ] Fred B. Schneider Notes on proof outline logic. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:351-394 [Conf ] Michael P. Fourman Proof and design. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:397-439 [Conf ] Alain J. Martin A program transformation approach to asynchronous VLSI design. [Citation Graph (0, 0)][DBLP ] NATO ASI DPD, 1996, pp:441-467 [Conf ]