SPL design variability verification
SPL design variability verification
Home › Team

Initiator and Contributors of the project:

  • Jean-Vivien Millo (CNRS, I3S laboratory, University of Nice-Sophia Antipolis, INRIA, France)
  • Ganesh Narwane (Homi Bhabha National Institute, Mumbai, India)
  • Shankara Narayanan Krishna (Department of CSE, IIT Bombay, Mumbai, India)
  • S Ramesh (Department of CSE, IIT Bombay, Mumbai, India)