Scalable and scope-bounded software verification in Varvel

Franjo Ivančić, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, Mustafa Hussain

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Fingerprint

Dive into the research topics of 'Scalable and scope-bounded software verification in Varvel'. Together they form a unique fingerprint.

Engineering & Materials Science