Scalable and scope-bounded software verification in Varvel

Aarti Gupta
Sriram Sankaranarayanan
Naoto Maeda
Takashi Imoto
Rakesh Pothengil
Mustafa Hussain
Automated Software Engineering(2014)

Abstract

Research Areas