Demri, Stéphane; Orłowska, Ewa Logical analysis of demonic nondeterministic programs. (English) Zbl 0872.03018 Theor. Comput. Sci. 166, No. 1-2, 173-202 (1996). MSC: 03B70 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI
Demri, Stéphane; Orlowska, Ewa; Rewitzky, Ingrid Towards reasoning about Hoare relations. (English) Zbl 0858.68057 Ann. Math. Artif. Intell. 12, No. 3-4, 265-289 (1994). MSC: 68Q55 03B70 × Cite Format Result Cite Review PDF Full Text: DOI