default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNATO ASI DPD 1996: Marktoberdorf, Germany
- Manfred Broy:
Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. 1996, ISBN 3-540-60947-4 - Fred B. Schneider:
On traditions in Marktoberdorf. NATO ASI DPD 1996: 1-4 - Edsger W. Dijkstra:
Fibonacci and the greatest common divisor. NATO ASI DPD 1996: 7-10 - Edsger W. Dijkstra:
The balance and the coins. NATO ASI DPD 1996: 11-13 - Edsger W. Dijkstra:
Bulterman's theorem on shortest trees. NATO ASI DPD 1996: 15-16 - Edsger W. Dijkstra:
A prime is in at most 1 way the sum of 2 squares. NATO ASI DPD 1996: 17-20 - Edsger W. Dijkstra:
A bagatelle on Euclid's algorithm. NATO ASI DPD 1996: 21-23 - Edsger W. Dijkstra:
On two equations that have the same extreme solution. NATO ASI DPD 1996: 25-26 - Edsger W. Dijkstra:
An alternative of the ETAC to EWD1163. NATO ASI DPD 1996: 27-28 - Edsger W. Dijkstra:
The argument about the arithmetic mean and the geometric mean, heuristics included. NATO ASI DPD 1996: 29-32 - Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan:
Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD 1996: 35-113 - C. A. R. Hoare:
Mathematical models for computing science. NATO ASI DPD 1996: 115-164 - Richard S. Bird, Oege de Moor:
The algebra of programming. NATO ASI DPD 1996: 167-203 - David Gries:
Data refinement and the transform. NATO ASI DPD 1996: 205-232 - Martín Abadi, Stephan Merz:
On TLA as a logic. NATO ASI DPD 1996: 235-271 - Manfred Broy:
Specification and refinement of a buffer of length one. NATO ASI DPD 1996: 273-304 - Edmund M. Clarke, Orna Grumberg, David E. Long:
Model checking. NATO ASI DPD 1996: 305-349 - Fred B. Schneider:
Notes on proof outline logic. NATO ASI DPD 1996: 351-394 - Michael P. Fourman:
Proof and design. NATO ASI DPD 1996: 397-439 - Alain J. Martin:
A program transformation approach to asynchronous VLSI design. NATO ASI DPD 1996: 441-467
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
