Browsing by Author Toninho, Bernardo Parente Coutinho Fernandes

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
Issue DateTitleAuthor(s)TypeAccess Type
2009A Logic and tool for local reasoning about security protocolsToninho, Bernardo Parente Coutinho FernandesmasterThesisopenAccess
May-2015A logical foundation for session-based concurrent computationToninho, Bernardo Parente Coutinho FernandesdoctoralThesisopenAccess