v1
Operational semantics and program verification using many-sorted hybrid\n modal logic
Identifier:nobleid.org/w1/20260515/52F71AB2
Type:Preprint
0 views
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Authors & Claims