6,140 followers
#Publication - Why Just Boogie? Translating Between Intermediate Verification Languages | The verification systems… https://t.co/xVeh1mULWo
#Publication - Why Just Boogie? Translating Between Intermediate Verification Languages | The verification systems… https://t.co/xVeh1mULWo