Publicaciones en las que colabora con MANUEL NÚÑEZ GARCÍA (1)

1999

  1. Denotational semantics for probabilistic refusal testing

    Electronic Notes in Theoretical Computer Science