Skip to content

Commit

Permalink
README updated
Browse files Browse the repository at this point in the history
  • Loading branch information
ekuiter committed Sep 13, 2019
1 parent 836b5fa commit 70bed2f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@

**Detailed resources** are available about ...

- ... conceptual foundations: [**SPLC '19 paper**](http://elias-kuiter.de/splc19-foundations), [**Bachelor thesis**](http://elias-kuiter.de/thesis) + [slides](http://elias-kuiter.de/thesis-slides), [FOSD '19 slides](http://elias-kuiter.de/fosd19-slides)
- ... conceptual foundations: [**SPLC '19 paper**](http://elias-kuiter.de/splc19-foundations) + [slides](http://elias-kuiter.de/splc19-foundations-slides), [**Bachelor thesis**](http://elias-kuiter.de/thesis) + [slides](http://elias-kuiter.de/thesis-slides), [FOSD '19 slides](http://elias-kuiter.de/fosd19-slides)
- ... implementation details: [**Tutorial**](http://elias-kuiter.de/splc19-foundations-artifact), [API documentation](API.md), [kernel documentation](https://s3.eu-central-1.amazonaws.com/de.ovgu.spldev.varied/kernel-documentation/index.html)

### Getting Started
Expand Down

0 comments on commit 70bed2f

Please sign in to comment.