The top documents tagged [safety property]
Agenda for a Science of Security
27 views
Typing
48 views
CLF: A Concurrent Logical Framework
82 views