Chinya Venkataram Ravishankar
-
Constructive Protocol Specification Using Cicero
IEEE Transactions on Software Engineering