Publication Details

Deductive Foundations of Computer Programming

by Manna, Z., and Waldinger, R.

Published by Addison-Wesley
Address: Reading, MA
1993.

Note: (textbook)

Electronic Copies

BibTeX

EndNote

Associated Projects

	Automatic Program Synthesis
	The Automatic Synthesis Of Computer Programs

AIC Personnel

	Name	Title	E-mail
	Waldinger, Richard J	Principal Scientist