david.darais.com [email protected]
Galois, Inc. Salt Lake City, UT Principal Scientist at Galois, Inc.
David Darais
A monadic approach to static analysis following the methodology of AAM
davdar
