diff --git a/docs/README.md b/docs/README.md index 6e21abc..1c7870b 100644 --- a/docs/README.md +++ b/docs/README.md @@ -1,5 +1,19 @@ # Welcome to CN +_These tutorials and docs were developed by Christopher Pulte, Benjamin C. +Pierce, and Cole Schlesinger, with contributions from Elizbeth Austell._ + +??? info "BibTeX" + ``` + @misc{cn-tutorial, + author = {Christopher Pulte and Benjamin C. Pierce and Cole Schlesinger and Elizabeth Austell}, + title = {{CN tutorial}}, + howpublished = "\url{https://rems-project.github.io/cn-tutorial/}", + year = {2024}, + note = "[Online; accessed 26-October-2024]" + } + ``` + CN is an extension of the C programming language for testing and verifying the correctness of C code, especially on low-level systems code. Compared to standard C, CN checks not only that expressions and statements follow the diff --git a/docs/getting-started/tutorials/README.md b/docs/getting-started/tutorials/README.md index 050a345..18f6f17 100644 --- a/docs/getting-started/tutorials/README.md +++ b/docs/getting-started/tutorials/README.md @@ -1,8 +1,5 @@ # CN Tutorials -_These tutorials were developed by Christopher Pulte and Benjamin C. Pierce, -with contributions from Elizbeth Austell and Cole Schlesinger._ - These tutorials introduce CN through a series of examples, starting with basic usage of CN on simple arithmetic functions and slowly moving towards more elaborate separation logic specifications of data structures.