Niyas C

According to our database, Niyas C authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Scaling Bounded Model Checking by Transforming Programs with Arrays.

Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016