ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Tue 5 Feb 2019

Name: Renato Neves

Affiliation: University of Minho & INESC TEC

Personal website: http://alfa.di.uminho.pt/~nevrenato/

Contributions

QAPL 2019Author of An Adequate Semantics for Hybrid While within the QAPL-track
Show activities from other conferences

ETAPS 2019-profile
View general profile