Type Safe Evolution of Live Systems

Authors

Miguel Domingues, João Costa Seco,