Back to Search
Start Over
Graded Hoare Logic and its Categorical Semantics
- Source :
- Lecture Notes in Computer Scienece (LNCS). 2648:234-263
- Publication Year :
- 2021
- Publisher :
- Springer International Publishing, 2021.
Details
- Language :
- English
- Volume :
- 2648
- Database :
- OpenAIRE
- Journal :
- Lecture Notes in Computer Scienece (LNCS)
- Accession number :
- edsair.jairo.........8b19c75d696704dc663fb6bc4af1599b