Unifying wp and wlp.

Detalles Bibliográficos
Publicado en:	Information processing letters. 59, 3 (1996).
Autor Principal:	Morgan, Carroll
Formato:	Artigo
Idioma:	inglés
Subjects:	Formal semantics. Program correctness. Weakest precondition. Weakest liberal precondition. Egli-Milner order.