SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States
SPLASH 2013 (series) / Henrique Rebelo
Henrique Rebelo

Registered user since Tue 28 Oct 2014

Name:Henrique Rebelo
Country:Brazil
Affiliation:Universidade Federal de Pernambuco
Personal website:http://www.cin.ufpe.br/~hemr
Research interests:Programming Languages, Modularity, Software Engineering

Contributions

SPLASH 2013 Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc
Identifying and Specifying Crosscutting Contracts with AspectJML
Show activities from other conferences

SPLASH 2013-profile
View general profile