Julien Braine
According to our database1,
Julien Braine
authored at least 2 papers
between 2021 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
The Data-abstraction Framework: abstracting unbounded data-structures in Horn clauses, the case of arrays. (La Méthode Data-abstraction: une technique d'abstraction de structures de données non-bornées dans des clauses de Horn, le cas des tableaux).
PhD thesis, 2022
2021
Data Abstraction: A General Framework to Handle Program Verification of Data Structures.
Proceedings of the Static Analysis - 28th International Symposium, 2021