×

zbMATH — the first resource for mathematics

Found 29 Documents (Results 1–29)

100
MathJax
Broy, Manfred (ed.), Deductive program design. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, July 26–August 7, 1994. Berlin: Springer. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 152, 29-32 (1996).
MSC:  26D15
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification