Publications dans lesquelles il/elle collabore avec CARLOS GREGORIO RODRÍGUEZ (1)

1999

  1. Denotational semantics for probabilistic refusal testing

    Electronic Notes in Theoretical Computer Science