Binary Extensions of S1S and the Composition Method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Enrico Marzano, Angelo Montanari, Alberto Policriti. Binary Extensions of S1S and the Composition Method. In Nachum Dershowitz, editor, Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday. Volume 2772 of Lecture Notes in Computer Science, pages 626-644, Springer, 2003. [doi]

This author has not been identified. Look up 'Enrico Marzano' in GoogleThis author has not been identified. Look up 'Angelo Montanari' in GoogleThis author has not been identified. Look up 'Alberto Policriti' in Google

runs on WebDSL