2013 IEEE 14th International Conference on Information Reuse & Integration (IRI) Information Reuse and Integration (IRI), 2013 IEEE 14th International Conference on. :512-519 Aug, 2013
Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings, 35-52 STARTPAGE=35;ENDPAGE=52;TITLE=Dynamic Logic : New Trends and Applications Lecture Notes in Computer Science ISBN: 9783030388072 DaLí
Lecture Notes in Computer Science ISBN: 9783030388072 DaLí Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings, 71-87 STARTPAGE=71;ENDPAGE=87;TITLE=Dynamic Logic : New Trends and Applications
Dynamic Logic. New Trends and Applications-Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings RIUMA. Repositorio Institucional de la Universidad de Málaga instname Lecture Notes in Computer Science ISBN: 9783030388072 DaLí Dynamic Logic : New Trends and Applications: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019 : proceedings, 104-123 STARTPAGE=104;ENDPAGE=123;TITLE=Dynamic Logic : New Trends and Applications Lecture Notes in Computer Science Lecture Notes in Computer Science-Dynamic Logic. New Trends and Applications
Bove, A.; Soares Barbosa, L.; Pardo, A. (ed.), Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures, pp. 1-56 Language Engineering and Rigorous Software Development ISBN: 9783642031526 LerNet ALFA Summer School Language Engineering and Rigorous Software Development (International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures), 1-56 STARTPAGE=1;ENDPAGE=56;TITLE=Language Engineering and Rigorous Software Development (International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures) Bove, A.; Soares Barbosa, L.; Pardo, A. (ed.), Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures, 1-56. Berlin Heidelberg NewYork : Springer STARTPAGE=1;ENDPAGE=56;ISSN=0302-9743;TITLE=Bove, A.; Soares Barbosa, L.; Pardo, A. (ed.), Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised Tutorial Lectures