Automated Verification of Features with Situation Calculus: FORTE 2004, Madrid

Résultats de recherche: Autre contribution

Empreinte digitale

Examiner les sujets de recherche de « Automated Verification of Features with Situation Calculus: FORTE 2004, Madrid ». Ensemble, ils forment une empreinte digitale unique.

Computer Science