John McDermott (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 John McDermott, Leo Freitas: A formal security policy for xenon. FMSE 2008: 43-52

Selection of 1 from 3 records - John McDermott has 12 coauthors