commit - cb601181e7ac19c4c04d3ad9411e40d50ed35a2c
commit + 6ffe04bcc641dc41654f67c32ec1a49b7617b1f6
blob - b8441d5364e6736cb037542f1df164b56ae7b151
blob + 2e0a2cdb1de098adc525f110282fa710cb06d13a
--- _Sidebar.md
+++ _Sidebar.md
### [Main page](https://github.com/ligurio/software-quality-wiki/wiki)
**Learning**
+- [Glossary](Glossary)
- Books:
- [English](books-in-english)
- [Russian](books-in-russian)
- [Software Testing Report Formats](test-report-formats)
- Formal Specification
- [Alloy Analyzer](alloy-analyzer)
-- [Glossary](Glossary)
**Functional testing**
- [Automated testing](automated-testing)