Searching for "Integrating Formal Specification and Software Verification and Validation." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Integrating Formal Specification and Software Verification and Validation
by Roger Duke, Tim Miller, Paul Strooper
…Integrating Formal Specification and Software Verification and Validation Roger Duke, Tim Miller…
Add To MetaCart

Integrating Formal Specification and Software Verification and Validation
by unknown authors
… Integrating Formal Specification and Software Verification and Validation Roger Duke, Tim…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB