External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Rapid Software Verification Framework

Pamina Georgiou, Bernhard Gleiss, Ahmed Bhayat, Michael Rawson 0001, Laura Kovács, Giles Reger. The Rapid Software Verification Framework. In FMCAD. pages 255-260, 2022. [doi]

Authors

Pamina Georgiou

This author has not been identified. Look up 'Pamina Georgiou' in Google

Bernhard Gleiss

This author has not been identified. Look up 'Bernhard Gleiss' in Google

Ahmed Bhayat

This author has not been identified. Look up 'Ahmed Bhayat' in Google

Michael Rawson 0001

This author has not been identified. Look up 'Michael Rawson 0001' in Google

Laura Kovács

This author has not been identified. Look up 'Laura Kovács' in Google

Giles Reger

This author has not been identified. Look up 'Giles Reger' in Google
runs on