search

boogie-org / symbooglix

Symbolic Execution Engine for Boogie
MIT License
27 stars 4 forks source link

Draft ACKNOWLEDGEMENTS file. #1

Closed delcypher closed 4 years ago

delcypher commented 8 years ago

@ccadar @afd

Is this okay?