Research Publications

Translating B machines to JML specifications

Want to know more about our partnerships?