Previous Up Next

10  Authors

Blast was developed by Adam Chlipala, Tom Henzinger, Ranjit Jhala, Rupak Majumdar, and Gregoire Sutre, with contributions from (among others) Yinghua Li, Ken McMillan, Shaz Qadeer, and Westley Weimer.


Previous Up Next