An Eclipse Plug-in for the Java PathFinder Runtime Verification System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesca Arcelli Fontana, Claudia Raibulet, Ivano Rigo, Luigi Ubezio. An Eclipse Plug-in for the Java PathFinder Runtime Verification System. In 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 25-28 April 2006, Loyola College Graduate Center, Columbia, MD, USA. pages 142-152, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Francesca Arcelli Fontana' in GoogleThis author has not been identified. Look up 'Claudia Raibulet' in GoogleThis author has not been identified. Look up 'Ivano Rigo' in GoogleThis author has not been identified. Look up 'Luigi Ubezio' in Google

runs on WebDSL