This is to certify that FORMAL METHODS IN SYSTEM DESIGN (Journal) having ISSN 0925-9856, has qualified ABCD Index publication quality with score 9.425 for the year 2025.

Journal Url: http://www.springerlink.com/content/100266/