Translating B machines to JML specifications.

Nstor Catao, Tim Wahls, Camilo Rueda, Vctor Rivera, Danni Yu

Browse the full SAC paper archive.