×

zbMATH — the first resource for mathematics

Medee: A type of language for the deductive programming method. (English) Zbl 0408.68014
Workshop on reliable software, 2nd Meet. Ger. Chapter ACM, Bonn 1978, Appl. Comput. Sci., Ber. Prakt. Inf. 14, 63-72 (1979).

MSC:
68N01 General topics in the theory of software