Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Browse the full TABLEAUX paper archive.