Weakest preconditions for progress

Authors
Johan J.Lukkien Jan L.A.van de Snepscheut
Citation
Johan J.lukkien et Jan L.a.van De Snepscheut, Weakest preconditions for progress, Formal aspects of computing The international journal of formal methods , 4(2), 1992, pp. 195-236
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
4
Issue
2
Year of publication
1992
Pages
195 - 236
Database
ACNP
SICI code