Aportaciones congreso (1) Publicaciones en las que ha participado algún/a investigador/a

1999

  1. Denotational semantics for probabilistic refusal testing

    Electronic Notes in Theoretical Computer Science