F-SOFT: Software verification platform

F. Ivančić, Z. Yang, M. K. Ganai, A. Gupta, I. Shlyakhter, P. Ashar

Research output: Contribution to journalConference articlepeer-review

67 Scopus citations

Fingerprint Dive into the research topics of 'F-SOFT: Software verification platform'. Together they form a unique fingerprint.

Mathematics