Type Safe Evolution of Live Systems

Miguel Domingues, João Costa Seco,

Publisher	Universitat Politècnica de Catalunya
Publisher	Universitat Politècnica de Catalunya

Publication