The Safety Simple Subset - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Shoham Ben-David, Dana Fisman, Sitvanit Ruah. The Safety Simple Subset. In Shmuel Ur, Eyal Bin, Yaron Wolfsthal, editors, Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Volume 3875 of Lecture Notes in Computer Science, pages 14-29, Springer, 2005. [doi]

This author has not been identified. Look up 'Shoham Ben-David' in GoogleThis author has not been identified. Look up 'Dana Fisman' in GoogleThis author has not been identified. Look up 'Sitvanit Ruah' in Google

runs on WebDSL