Enjalbert, P. Systemes de deduction pour les arbres et les schemas de programme. II. (French) Zbl 0464.68019 RAIRO, Inf. Théor. 15, 3-21 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Document MSC: 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:partial correctness; structured program schemes; program trees Citations:Zbl 0441.68007 × Cite Format Result Cite Review PDF Full Text: EuDML