Fast probabilistic simulation, nontermination, and secure information flow - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Geoffrey Smith, Rafael Alpízar. Fast probabilistic simulation, nontermination, and secure information flow. In Michael W. Hicks, editor, Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, PLAS 2007, San Diego, California, USA, June 14, 2007. pages 67-72, ACM, 2007. [doi]

This author has not been identified. Look up 'Geoffrey Smith' in GoogleThis author has not been identified. Look up 'Rafael Alpízar' in Google

runs on WebDSL