Generalizing Updates: From Models to Programs

João Leite, João Leite, Luís Moniz Pereira, Luís Moniz Pereira,

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

Publication