Jump to Content

Scalable and scope-bounded software verification in Varvel

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

Abstract

Research Areas