SPLASH 2013
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

Contributions

SPLASH 2013Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track
Author of Identifying and Specifying Crosscutting Contracts with AspectJML within the ACM SRC-track
Show activities from other conferences

SPLASH 2013-profile
View general profile