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

Pascal Urso, Pierre-Yves Schobbens

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.

Keyphrases

Computer Science

INIS