论文信息 - Automated Behavioural Verification of Prolog Programs - 字舞流文

Automated Behavioural Verification of Prolog Programs

Agostino Cortesi | Sabina Rossi | Baudouin Le Charlier | Christophe Leclère | B. L. Charlier | S. Rossi | Agostino Cortesi | Christophe Leclère