Idir Zerrouk Analog Verification and Testing Automation, CienaEmail:IdirZerrouk@cmail.carleton.caDepartment of Systems and Computer Engineering First Year Research Intern Project Topic: Specification Generator for C2KA Tool Support Active in CyberSEA: May 2018–July 2018 Share: Twitter, Facebook Short URL: https://carleton.ca/cybersea/?p=765