A guide to weakest preconditions and strongest postconditions in coding.
Lena Verscht, Benjamin Lucien Kaminski
― 5 min read
Cutting edge science explained simply
A guide to weakest preconditions and strongest postconditions in coding.
Lena Verscht, Benjamin Lucien Kaminski
― 5 min read