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.

Gillian, Part II: Real-World Verification for JavaScript and C

Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner. Gillian, Part II: Real-World Verification for JavaScript and C. In Alexandra Silva 0001, K. Rustan M. Leino, editors, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Volume 12760 of Lecture Notes in Computer Science, pages 827-850, Springer, 2021. [doi]

Authors

Petar Maksimovic

This author has not been identified. Look up 'Petar Maksimovic' in Google

Sacha-Élie Ayoun

This author has not been identified. Look up 'Sacha-Élie Ayoun' in Google

José Fragoso Santos

This author has not been identified. Look up 'José Fragoso Santos' in Google

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google
runs on