Personal Information
Organization / Workplace
Covilhã Portugal
Occupation
MSc in Computer Science and Engineering
Website
www.joelcarvalho.net
About
http://www.joelcarvalho.net
Tags
carfree.ubi
automato
automata
minimal
sensor_network
redes_sensor
prog_dinâmica
ubi
formal_methods
spec
specsharp
design_by_contracts
See more
Presentations
(14)Documents
(7)Personal Information
Organization / Workplace
Covilhã Portugal
Occupation
MSc in Computer Science and Engineering
Website
www.joelcarvalho.net
About
http://www.joelcarvalho.net
Tags
carfree.ubi
automato
automata
minimal
sensor_network
redes_sensor
prog_dinâmica
ubi
formal_methods
spec
specsharp
design_by_contracts
See more