formal_methods:history
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| formal_methods:history [2022/02/14 17:31] – created domin144 | formal_methods:history [2022/02/16 04:46] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ====== History of formal methods ====== | ||
| + | |||
| A nice introduction on history of mathematical theories, which helped develop formal methods can be found [[https:// | A nice introduction on history of mathematical theories, which helped develop formal methods can be found [[https:// | ||
formal_methods/history.1644859892.txt.gz · Last modified: 2022/02/14 17:31 by domin144