Formal Methods for Reliable Safety-Critical System Design

Duration : Sep 2015 - Aug 2017
Funding Agency : NFIG
PI : Aritra Hazra.
© 2016 - All Rights Reserved - Dept of CSE, IIT Madras
Website Credits