formal_methods:history
History of formal methods
A nice introduction on history of mathematical theories, which helped develop formal methods can be found here.
formal_methods/history.txt · Last modified: 2022/02/16 04:46 by 127.0.0.1