Projects


Métodos formales para el desarrollo y verificación de programas BSP
Acronyme MF-BSP
Finance Ministerio de Educación y Ciencia
Number CICYT HB 1999-0093
Period 2000-01 → 2002-01
Money 1.683€
Members gabarro,mjserna
Participants Llenguatges i Sistemes Informàtics (Universitat Politècnica de Catalunya), University of Belfast
Coordinator J.Gabarró
Description Acció integrada.





ALBCOM Research Group
© Universitat Politècnica de Catalunya, 2021