1st Workshop on Probabilistic Reasoning and Formal Methods
Dec 11, 2017
IIT Kanpur
Co-located with FSTTCS 2017
Dec 11, 2017
IIT Kanpur
Co-located with FSTTCS 2017
S. Akshay (Indian Institute of Technology Bombay, India); akshayss@cse.iitb.ac.in
Kuldeep S. Meel (National University of Singapore, Singapore); meel@comp.nus.edu.sg