A toolset for assisted formal verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nadeem Malik, Jason Baumgartner, S. Roberts, R. Dobson. A toolset for assisted formal verification. In Proceedings of the IEEE International Performance Computing and Communications Conference, IPCCC 1999, Phoenix/Scottsdale, Arizona, USA, 10-12 February 1999. pages 489-492, IEEE, 1999. [doi]

This author has not been identified. Look up 'Nadeem Malik' in GoogleThis author has not been identified. Look up 'Jason Baumgartner' in GoogleThis author has not been identified. Look up 'S. Roberts' in GoogleThis author has not been identified. Look up 'R. Dobson' in Google

runs on WebDSL