×

zbMATH — the first resource for mathematics

Systemes de deduction pour les arbres et les schemas de programme. II. (French) Zbl 0464.68019

MSC:
68Q60 Specification and verification (program logics, model checking, etc.)
PDF BibTeX XML Cite
Full Text: EuDML