Report - Describing Secure Interfaces with Interface Automata · 2010. 4. 23. · with Interface Automata Matias Lee Pedro R. D’Argenio FaMAF - UNC CONICET FESCA Workshop Matias Lee, Pedro

Please pass captcha verification before submit form