/ http://www.slideshare.net/images/logo.gif / 際際滷Share feed for 際際滷shows by User: NadiaNad https://cdn.slidesharecdn.com/profile-photo-NadiaNad-48x48.jpg?cb=1523047113 Researcher in software and systems engineering ( Formal verification)