Generating SPARK from Event-B, Providing Fundamental Safety and Security.

Asieh Salehi Fathabadi, Dana Dghaym, Thai Son Hoang, Michael J. Butler, Colin F. Snook

Browse the full MEDI paper archive.