Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-1
|
Results: 1
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
Risultati:
1-1
|