research
∙
11/11/2019
Bunch theory: working notes on applications, axioms and models
In his book "A practical theory of programming" Eric Hehner proposes and...
share
research
∙
11/11/2019
Bunch theory, applications, axioms and models
In his book "A practical theory of programming" Eric Hehner proposes and...
research
∙
06/11/2019
