Sadegh Dalvandi
Home
Publications
Photos
Category:
Developing verified sequential programs with Event-B
June 1st, 2018 by
sadegh
My thesis can be downloaded from
here
.
Comments closed