zbMATH — the first resource for mathematics

Found 5 Documents (Results 1–3)

Broy, Manfred (ed.), Deductive program design. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, July 26–August 7, 1994. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 152, 167-203 (1996).
MSC:  68N01 18B10
BibTeX Cite

Filter Results by …

Document Type
Year of Publication