Skip to content
Snippets Groups Projects

2 new E-ACSL publis

Merged 2 new E-ACSL publis
feature/publis-e-acsl-vortex into master
Merged Julien Signoles requested to merge feature/publis-e-acsl-vortex into master
Viewing commit 24906797
Prev
Show latest version
2 files
+ 2
− 2
Compare changes
  • Side-by-side
  • Inline
Files
2
_fc-publications/e-acsl/2021-vmcai-vjks.md
+ 1
− 1
@@ -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
---