kw.\*:("INVARIANT PROGRAMME")
Results 1 to 2 of 2
Selection :
VERIFYING PROGRAMS WHICH OPERATE ON DATA STRUCTURES.LAVENTHAL MS.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 420-426; BIBL. 13 REF.Conference Paper
CONSTRUCTING CORRECT AND EFFICIENT CONCURRENT PROGRAMS.SINTZOFF M; VAN LAMSWEERDE A.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 319-326; BIBL. 24 REF.Conference Paper
