A Validation Methodology for OCaml-to-PVS Translation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaoxin An, Amer Tahat, Binoy Ravindran. A Validation Methodology for OCaml-to-PVS Translation. In Ritchie Lee, Susmit Jha, Anastasia Mavridou, editors, NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Volume 12229 of Lecture Notes in Computer Science, pages 207-221, Springer, 2020. [doi]

This author has not been identified. Look up 'Xiaoxin An' in GoogleThis author has not been identified. Look up 'Amer Tahat' in GoogleThis author has not been identified. Look up 'Binoy Ravindran' in Google

runs on WebDSL