A Rigorous Approach to Reviewing Formal Specifications
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
SeVe: automatic tool for verification of security protocols
Frontiers of Computer Science in China
Hi-index | 0.00 |