Skip to content
Snippets Groups Projects

2 new E-ACSL publis

Merged Julien Signoles requested to merge feature/publis-e-acsl-vortex into master
2 files
+ 2
2
Compare changes
  • Side-by-side
  • Inline
Files
2
@@ -3,7 +3,7 @@ plugin: "e-acsl"
authors: "Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, and Julien Signoles"
title: " Runtime abstract interpretation for numerical accuracy and robustness."
book: "International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)"
link: https://julien.signoles.free.fr/publis/2021_vmcai.pdf
link: http://julien.signoles.free.fr/publis/2021_vmcai.pdf
year: 2021
category: other
---
Loading