Rosu earns ASE Most Influential Paper award for work that helped launch runtime verification field


Share this story

This story was published October 17, 2016.