B. Grima
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1994
Una formalizacion algebraica de la notacion "objectcharts": validacion y verificacion de especificaciones orientadas a objetos de sistemas reactivos.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994