A theorem prover for Boolean BI - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jonghyun Park, Jeongbong Seo, Sungwoo Park. A theorem prover for Boolean BI. In Roberto Giacobazzi, Radhia Cousot, editors, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013. pages 219-232, ACM, 2013. [doi]

This author has not been identified. Look up 'Jonghyun Park' in GoogleThis author has not been identified. Look up 'Jeongbong Seo' in GoogleThis author has not been identified. Look up 'Sungwoo Park' in Google

runs on WebDSL