by Cledou, Guillermina, Estevez, Elsa, Soares Barbosa, Luis
Published in Government information quarterly (01.01.2018)

by Cledou, Guillermina, Proença, José, Sputh, Bernhard H.C., Verhulst, Eric
Published in Science of computer programming (01.03.2021)

by Edixhoven, Luc, Jongmans, Sung-Shik, Proença, José, Cledou, Guillermina
Published in Electronic proceedings in theoretical computer science (09.08.2022)

by Cledou, Guillermina, Proença, José, Soares Barbosa, Luis
Published in Fundamentals of Software Engineering (01.01.2017)

by Cledou, Guillermina, Proença, José, Sputh, Bernhard H. C., Verhulst, Eric
Published in Coordination Models and Languages

by ter Beek, Maurice H., Cledou, Guillermina, Hennicker, Rolf, Proença, José
Published in Formal Methods

by ter Beek, Maurice H, Cledou, Guillermina, Hennicker, Rolf, Proença, José
Year of Publication 03.08.2021

by Cledou, Guillermina, Barbosa, Luis Soares
Published in 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) (01.05.2017)

by Cledou, Guillermina, Proença, José, Barbosa, Luís S.
Published in Formal Methods: Foundations and Applications

by Edixhoven, Luc, Sung-Shik Jongmans, Proença, José, Cledou, Guillermina
Published in arXiv.org (09.08.2022)

by Cledou, Guillermina, Edixhoven, Luc, Jongmans, Sung-Shik, Proença, José
Year of Publication 23.06.2022

by ter Beek, Maurice H, Cledou, Guillermina, Hennicker, Rolf, Proença, José
Published in arXiv.org (03.08.2021)