Type Safe Evolution of Live Systems

Miguel Domingues, João Costa Seco

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Original languageEnglish
Title of host publicationWorkshop on Reactive and Event-based Languages & Systems (REBLS'15)
Publication statusPublished - 2015

Cite this