TY  - RPRT
TI  - Operational semantics and program verification using many-sorted hybrid modal logic
AU  - Ioana Leustean
AU  - Natalia Moanga
AU  - Traian Florin Serbanuta
PY  - 2025
UR  - https://arxiv.org/abs/1905.05036
ID  - 1905.05036
ER  -