Slides for 3xxx.

[libguestfs-talks.git] / 2020-frama-c / slides / README.txt

diff --git a/2020-frama-c/slides/README.txt b/2020-frama-c/slides/README.txt
new file mode 100644 (file)
index 0000000..c851fd1
--- /dev/null
+++ b/2020-frama-c/slides/README.txt
@@ -0,0 +1,2 @@
+These slides taken from David Mentré's presentation:
+https://www.cs.umd.edu/class/spring2016/cmsc838G/frama-c/introduction-to-frama-c_v2.pdf