A semantic integrated development environment - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Logozzo, Michael Barnett, Manuel Fähndrich, Patrick Cousot, Radhia Cousot. A semantic integrated development environment. In Gary T. Leavens, editor, Conference on Systems, Programming, and Applications: Software for Humanity, SPLASH '12, Tucson, AZ, USA, October 21-25, 2012. pages 15-16, ACM, 2012. [doi]

This author has not been identified. Look up 'Francesco Logozzo' in GoogleThis author has not been identified. Look up 'Michael Barnett' in GoogleThis author has not been identified. Look up 'Manuel Fähndrich' in GoogleThis author has not been identified. Look up 'Patrick Cousot' in GoogleThis author has not been identified. Look up 'Radhia Cousot' in Google

runs on WebDSL