External Links

    Journal: Foundations and Trends in Programming Languages

    Volume 8, Issue 3-4

    250 -- 408Gagandeep Singh 0001, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee 0001, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang. Safety and Trust in Artificial Intelligence with Abstract Interpretation
    runs on