245 followers
The SeaHorn Verification Framework. - Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas http://t.co/2P76m8BHH9
The SeaHorn Verification Framework. - Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas http://t.co/2P76m8BHH9