Ribeiro, Rodrigo Geraldo, Universidade Federal de Ouro Preto, Brazil

• Revista de Informática Teórica e Aplicada Vol. 25 No. 3 (2018) - Regular Papers
  Formal Semantics for Java-like Languages and Research Opportunities
  Abstract  PDF