Disk Based Software Verification via Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna. Disk Based Software Verification via Bounded Model Checking. In 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan. pages 358-365, IEEE Computer Society, 2007. [doi]

This author has not been identified. Look up 'Fernando Brizzolari' in GoogleThis author has not been identified. Look up 'Igor Melatti' in GoogleThis author has not been identified. Look up 'Enrico Tronci' in GoogleThis author has not been identified. Look up 'Giuseppe Della Penna' in Google

runs on WebDSL