Commit 06f99fd5 authored by Patrick Steffens's avatar Patrick Steffens
Browse files

Added new README.md

parent 1d591663
## The documentation
This folder contains different documentation:
- UPBSlicer source code documentation (HTML and LaTeX)
- UPBSlicer system manual
- Several useful documents about Frama-C
- Explanation of how to use UPBSlicer and Frama-C for example in the context of approximate computing
\ No newline at end of file
Supports Markdown
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