Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Papers: 10.1007/978-3-030-51054-1_19
https://doi.org/10.1007/978-3-030-51054-1_19
A Fast Verified Liveness Analysis in SSA Form
Cited by: 1
Author(s): Jean-Christophe Léchenet, Sandrine Blazy, David Pichardie
Published: almost 5 years ago