Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/nato/dpd1996.bht:"
@inproceedings{DBLP:conf/nato/AbadiM96, author = {Mart{\'{\i}}n Abadi and Stephan Merz}, editor = {Manfred Broy}, title = {On {TLA} as a logic}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {235--271}, year = {1996}, timestamp = {Tue, 14 Nov 2006 16:17:55 +0100}, biburl = {https://dblp.org/rec/conf/nato/AbadiM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/AbramskyGN96, author = {Samson Abramsky and Simon J. Gay and Rajagopal Nagarajan}, editor = {Manfred Broy}, title = {Interaction categories and the foundations of typed concurrent programming}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {35--113}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/AbramskyGN96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/BirdM96, author = {Richard S. Bird and Oege de Moor}, editor = {Manfred Broy}, title = {The algebra of programming}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {167--203}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/BirdM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Broy96, author = {Manfred Broy}, editor = {Manfred Broy}, title = {Specification and refinement of a buffer of length one}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {273--304}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Broy96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/ClarkeGL96, author = {Edmund M. Clarke and Orna Grumberg and David E. Long}, editor = {Manfred Broy}, title = {Model checking}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {305--349}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/ClarkeGL96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Dijkstra96, author = {Edsger W. Dijkstra}, editor = {Manfred Broy}, title = {Fibonacci and the greatest common divisor}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {7--10}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Dijkstra96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Dijkstra96a, author = {Edsger W. Dijkstra}, editor = {Manfred Broy}, title = {The balance and the coins}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {11--13}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Dijkstra96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Dijkstra96b, author = {Edsger W. Dijkstra}, editor = {Manfred Broy}, title = {Bulterman's theorem on shortest trees}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {15--16}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Dijkstra96b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Dijkstra96c, author = {Edsger W. Dijkstra}, editor = {Manfred Broy}, title = {A prime is in at most 1 way the sum of 2 squares}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {17--20}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Dijkstra96c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Dijkstra96d, author = {Edsger W. Dijkstra}, editor = {Manfred Broy}, title = {A bagatelle on Euclid's algorithm}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {21--23}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Dijkstra96d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Dijkstra96e, author = {Edsger W. Dijkstra}, editor = {Manfred Broy}, title = {On two equations that have the same extreme solution}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {25--26}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Dijkstra96e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Dijkstra96f, author = {Edsger W. Dijkstra}, editor = {Manfred Broy}, title = {An alternative of the {ETAC} to {EWD1163}}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {27--28}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Dijkstra96f.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Dijkstra96g, author = {Edsger W. Dijkstra}, editor = {Manfred Broy}, title = {The argument about the arithmetic mean and the geometric mean, heuristics included}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {29--32}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Dijkstra96g.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Fourman96, author = {Michael P. Fourman}, editor = {Manfred Broy}, title = {Proof and design}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {397--439}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Fourman96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Gries96, author = {David Gries}, editor = {Manfred Broy}, title = {Data refinement and the transform}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {205--232}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Gries96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Hoare96, author = {C. A. R. Hoare}, editor = {Manfred Broy}, title = {Mathematical models for computing science}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {115--164}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Hoare96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Martin96, author = {Alain J. Martin}, editor = {Manfred Broy}, title = {A program transformation approach to asynchronous {VLSI} design}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {441--467}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Martin96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Schneider96, author = {Fred B. Schneider}, editor = {Manfred Broy}, title = {On traditions in Marktoberdorf}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {1--4}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Schneider96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nato/Schneider96a, author = {Fred B. Schneider}, editor = {Manfred Broy}, title = {Notes on proof outline logic}, booktitle = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, pages = {351--394}, year = {1996}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/Schneider96a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/nato/1996, editor = {Manfred Broy}, title = {Proceedings of the {NATO} Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany}, year = {1996}, isbn = {3-540-60947-4}, timestamp = {Tue, 14 Nov 2006 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/nato/1996.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.