João Costa Seco

Professor Auxiliar, Departamento de Informática

Departamento de Informática, Faculdade de Ciências e Tecnologia, 2829-526 Caparica (email)

Type Safe Evolution of Live Systems

Citation:: Domingues, Miguel, and João Costa Seco Type Safe Evolution of Live Systems. Workshop on Reactive and Event-based Languages & Systems (REBLS'15). Pittsburgh, 2015.

Preview	Attachment	Size
	rebls15.pdf	329.74 KB