Timothy Redmond (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

2		Leo Marcus, Timothy Redmond: Two Automated Methods in Implementation Proofs. CADE 1988: 622-642
1		Leo Marcus, Timothy Redmond: A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. CSFW 1988: 127-138

Selection of 2 from 9 records - Timothy Redmond has 11 coauthors