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.