Fingerprint
Dive into the research topics of 'Scalable and scope-bounded software verification in Varvel'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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 journal › Article › peer-review
9
Scopus
citations