Llibres (1) Publicacions en què ha participat algun/a investigador/a

1996

  1. Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]

    Universidad Complutense de Madrid