×

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

Citations:

Zbl 0403.00016