SAL 2 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari. SAL 2. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 496-500, Springer, 2004. [doi]

This author has not been identified. Look up 'Leonardo Mendonça de Moura' in GoogleThis author has not been identified. Look up 'Sam Owre' in GoogleThis author has not been identified. Look up 'Harald Rueß' in GoogleThis author has not been identified. Look up 'John M. Rushby' in GoogleThis author has not been identified. Look up 'Natarajan Shankar' in GoogleThis author has not been identified. Look up 'Maria Sorea' in GoogleThis author has not been identified. Look up 'Ashish Tiwari' in Google

runs on WebDSL