Support the White House petition to bring down paywalls around taxpayer-funded research! Sign here

Rely-Guarantee reasoning, Owicki/Gries and Separation Logic.

Universidade do Minho

Graduate Student, Departamento de Informática

Jorge Sousa Pinto
Luís PInto

Contact Information

Homepage:

http://alfa.di.uminho.pt/~edbrito
 
Department Colleagues (14)

Fábio Catalão

José Creissac Campos


Pedro Barbosa

Alberto Simões

Following the Work of (14)

Fábio Catalão

Daniela Da Cruz


José Carlos Ramalho

sandeep dasgupta

Work being Followed by (14)

x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012