| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Simões, Alberto et al. |
2023 |
| 2 |
OASIcs, Volume 113, SLATE 2023, Complete Volume |
Simões, Alberto et al. |
2023 |
| 3 |
Detection of Vulnerabilities in Smart Contracts Specifications in Ethereum Platforms |
Argañaraz, Mauro C. et al. |
2020 |
| 4 |
NESSy: a New Evaluator for Software Development Tools |
Miranda, Enrique et al. |
2013 |
| 5 |
PH-Helper - a Syntax-Directed Editor for Hoshimi Programming Language, HL |
Luzza, Mariano et al. |
2012 |
| 6 |
Problem Domain Oriented Approach for Program Comprehension |
Varanda Pereira, Maria João et al. |
2012 |
