Pl Fm Cps Workshop
A joint workshop by IISc, Microsoft Research, and the University of Pennsylvania on Programming Languages, Formal Methods, and Cyber-Physical Systems will be held on January 10, 2019, in the Department of CSA.
A joint workshop by IISc, Microsoft Research, and the University of Pennsylvania on Programming Languages, Formal Methods, and Cyber-Physical Systems will be held on January 10, 2019, in the Department of CSA.