706 followers
@saifnoorprottoy @tobycmurray Yeah, I will be working on formal verification of networking protocols, from algebraic perspective https://t.co/4BhDBROUNJ https://t.co/QZDPeENwFI
@saifnoorprottoy @tobycmurray Yeah, I will be working on formal verification of networking protocols, from algebraic perspective https://t.co/4BhDBROUNJ https://t.co/QZDPeENwFI