Logical Specification of Operational Semantics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Logical relation for encryption
Journal of Computer Security - Special issue on CSFW14
Hi-index | 0.00 |