×

Calculs infinis, interpretations métriques et plus grands points fixes. (French) Zbl 0486.68013

Mathematiques appliquees, 1er Colloq. AFCET-SMF, Palaiseau 1978, Tome I, 191-208 (1978).

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
68N01 General topics in the theory of software

Citations:

Zbl 0477.00003