Centre/Institut
Instituto Universitario de Estadística y Ciencia de Datos
Aportacions a congrés (1) Publicacions en què ha participat algun/a investigador/a
1999
-
Denotational semantics for probabilistic refusal testing
Electronic Notes in Theoretical Computer Science