Category:

Developing verified sequential programs with Event-B

June 1st, 2018 by

My thesis can be downloaded from here.

Comments closed