Commit f0616b65 authored by Alexander Weigl's avatar Alexander Weigl 🐼
Browse files

Merge branch 'mvnlicense' into 'master'


See merge request !2
parents 5d754ed2 f50163ae
......@@ -27,6 +27,19 @@
<name>Application-oriented Formal Verification</name>
......@@ -36,6 +49,15 @@
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