formal_methods:history
This is an old revision of the document!
A nice introduction on history of mathematical theories, which helped develop formal methods can be found here.
formal_methods/history.1644859892.txt.gz · Last modified: 2022/02/14 17:31 by domin144