Reserved Area
Home
Talks
About and Contact
InfoBlender
HASLab Seminar
(email)
Algebraic laws
Refinement Algebra for an Object-oriented Language with Pointers, 13 Apr 2015
4/13/2015
:
Download Slides (PDF)
By
Prof. Augusto Sampaio
,
Universidade Federal de Pernambuco (UFPE), Brazil
Read more