• Reserved Area
  • Home
  • Talks
  • About and Contact
Haslab Logo

InfoBlender

HASLab Seminar

 (email)

adaptation-completeness

Formalizing Single-assignment Program Verification: an Adaptation-complete Approach 3/30/2016:
application/pdf iconDownload Slides (pdf)

By Cláudio Belo Lourenço, HASLab/INESC TEC & University of Minho.

  • Read more



Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.