Harnessing a Refinement Theory to Compute Loop Functions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ali Mili, Rahma Ben Ayed, Shir Aharon, Chaitanya Nadkarni. Harnessing a Refinement Theory to Compute Loop Functions. Electronic Notes in Theoretical Computer Science, 243:139-155, 2009. [doi]

This author has not been identified. Look up 'Ali Mili' in GoogleThis author has not been identified. Look up 'Rahma Ben Ayed' in GoogleThis author has not been identified. Look up 'Shir Aharon' in GoogleThis author has not been identified. Look up 'Chaitanya Nadkarni' in Google

runs on WebDSL