Formal Methods for Components and Objects is a paper indexed in ScholarIQ from OpenAlex. ScholarIQ records 625 citations, 2004 year and green oa status.