Title

Combining symbolic execution with model checking to verify parallel numerical programs

Publication Date

2008

Journal or Book Title

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

Pages

-

Volume

17

Issue

2

This document is currently not available here.

Share

COinS