Sat 26 - Thu 31 October 2013 Indianapolis, United States
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


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