Commit 1cb2254e authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[publications] update author list for E-ACSL user manual

parent 45da8092
--- ---
plugin: "e-acsl" plugin: "e-acsl"
authors: "Julien Signoles and Kostyantyn Vorobyov" authors: "Julien Signoles, Basile Desloges and Kostyantyn Vorobyov"
title: "E-ACSL User Manual" title: "E-ACSL User Manual"
link: "http://frama-c.com/download/e-acsl/e-acsl-manual.pdf" link: "http://frama-c.com/download/e-acsl/e-acsl-manual.pdf"
category: manuals category: manuals
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment