Conference In: dblp

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

CAV (2)

Petar Maksimovic; Sacha-Élie Ayoun; Philippa Gardner — 2021

Key information

Authors:

Petar Maksimovic; Sacha-Élie Ayoun; José Fragoso Santos (José Faustino Fragoso Femenin dos Santos); Philippa Gardner

Published in

July 2021

Publication details

Authors in the community:

Title of the publication container

CAV (2)

First page or article number

827

Last page

850

Fields of Science and Technology (FOS)

computer-and-information-sciences - Computer and information sciences

Publication language (ISO code)

eng - English

Rights type:

Only metadata available