aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2016-10-24 15:16:31 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2016-10-24 15:16:31 +0200
commit591875791aecbe548b3e5b1cc377ed4a9e766b49 (patch)
tree1020471a9eb9a91029bf56dd15db5832b947961b
parentbe82e88ba01e2ad92cb8f8df6ad9bdb912f4a8a0 (diff)
downloadPraspel-591875791aecbe548b3e5b1cc377ed4a9e766b49.zip
Praspel-591875791aecbe548b3e5b1cc377ed4a9e766b49.tar.gz
Praspel-591875791aecbe548b3e5b1cc377ed4a9e766b49.tar.bz2
Documentation: Rename a section.
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 7b799b0..fccd10c 100644
--- a/README.md
+++ b/README.md
@@ -65,7 +65,7 @@ Thus, we are able to generate unit test suites satisfying these
contract coverage criteria, and thus rensuring that generated unit
test suites reflect all the behavior expressed in the contract.
-## Paper research
+## Research papers
This language is the result of several research papers, journals and PhD thesis.