Search papers, labs, and topics across Lattice.
University of Bucharest
1
0
2
A versatile framework for hybrid modal logic that simplifies the specification and verification of programming languages and security protocols without additional syntactic overhead.
