Special Issue of COORDINATION and FORTE 2016

Elvira Albert, Ivan Lanese, Alberto Lluch-Lafuente, José Proença
January 2017
Cite LMCS
Type
Book
Publication
Logical Methods in Computer Science, Episciences, Volume 13, 2017

Related