Reserved Area
Home
Talks
About and Contact
InfoBlender
HASLab Seminar
(email)
adaptation-completeness
Formalizing Single-assignment Program Verification: an Adaptation-complete Approach
3/30/2016
:
Download Slides (pdf)
By
Cláudio Belo Lourenço
, HASLab/INESC TEC & University of Minho.
Read more