VERT-verification of real-time programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer. VERT-verification of real-time programs. In Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, COMPSAC 1991, Tokyo, Japan, 11-13 September, 1991. pages 618-625, IEEE, 1991. [doi]

This author has not been identified. Look up 'Mike Beaven' in GoogleThis author has not been identified. Look up 'Brad Elmore' in GoogleThis author has not been identified. Look up 'Dan C. Marinescu' in GoogleThis author has not been identified. Look up 'Ryan Stansifer' in Google

runs on WebDSL