Pages that link to "Item:Q997990"

The following pages link to Ana Almeida Matos (Q997990):

Displaying 4 items.

• Typing noninterference for reactive programs (Q997991) (← links)
• Non-disclosure for distributed mobile code (Q3103611) (← links)
• Flow Policy Awareness for Distributed Mobile Code (Q3184665) (← links)
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897768) (← links)