https://www.euro-online.org/enog/inoc mac https://www.euro-online.org/enog/inoc2007/Papers/mac
ALBCOM: Project details
   ALBCOM: Algorithms, Bioinformatics, Complexity and Formal Methods
 Sections
  Homepage
  People
  Research
  Publications
  Prizes & Distinctions
  Projects
  In the media
  Agenda
  Visitors
  Former members
  Contact
 Project details
MF-BSP Mtodos formales para el desarrollo y verificacin de programas BSP
Number: CICYT HB 1999-0093
Description: Acci integrada.
Period: 1/2000-1/2002
Money: 1.683 euros
Members:

J. Gabarr (local coordinator), M. Serna.

Participants:

Llenguatges i Sistemes Informtics (Universitat Politcnica de Catalunya), University of Belfast

Coordinator: J.Gabarr