A genetically modified Hoare logic

DOI10.1016/j.tcs.2018.02.003zbMath1423.68163arXiv1506.05887OpenAlexW2963446106MaRDI QIDQ2422014

Could not fetch data.

Publication date: 18 June 2019

Published in: (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1506.05887

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.