Assertion Checking Environment (ACE) for Formal Verification of C Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Babita Sharma, S. D. Dhodapkar, S. Ramesh. Assertion Checking Environment (ACE) for Formal Verification of C Programs. In Stuart Anderson, Sandro Bologna, Massimo Felici, editors, Computer Safety, Reliability and Security, 21st International Conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002, Proceedings. Volume 2434 of Lecture Notes in Computer Science, pages 284-295, Springer, 2002. [doi]

This author has not been identified. Look up 'Babita Sharma' in GoogleThis author has not been identified. Look up 'S. D. Dhodapkar' in GoogleThis author has not been identified. It may be one of the following persons:

S. Ramesh

Look up 'S. Ramesh' in Google

runs on WebDSL