Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996
DBLP:	db/conf/nato/dpd1996.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 19  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Martín Abadi, Stephan Merz. On TLA as a logic.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan. Interaction categories and the foundations of typed concurrent programming.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Richard S. Bird, Oege de Moor. The algebra of programming.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Manfred Broy. Specification and refinement of a buffer of length one.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Edmund M. Clarke, Orna Grumberg, David E. Long. Model checking.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Edsger W. Dijkstra. Fibonacci and the greatest common divisor.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Edsger W. Dijkstra. The balance and the coins.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Edsger W. Dijkstra. Bulterman's theorem on shortest trees.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Edsger W. Dijkstra. A prime is in at most 1 way the sum of 2 squares.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996
	Conference paper Edsger W. Dijkstra. A bagatelle on Euclid's algorithm.	Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany 1996	(0)	1996

Your query returned 19 matches in the database.