Verificador de especificaciones de misiones mediante razonamiento de sentido común basado en el cálculo de eventos

Aquesta tesi apareix a les col·leccions següents