| |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 5 |       | Leo Marcus, Timothy Redmond: Two Automated Methods in Implementation Proofs. CADE 1988: 622-642 |
| 4 |  | Leo Marcus, Timothy Redmond: A Model-Theoretic Approach to Specifying, Verifying and Hooking Up Security Policies. CSFW 1988: 127-138 |
Selection of 2 from 11 records - Leo Marcus has 7 coauthors
Copyright © 2009-12-07 by Michael Ley (ley@uni-trier.de)