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