The University of Warwick Library - WebBridge

Evaluation of formal verification technology for model-based development of automotive software
Chakrapani Rao, Arun.  Premium Automotive R&D Conference.    2006-02-15. .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.