Searching for "Mechanical Software Verification High Level Control Aspects from a User's Perspective." – 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.

Mechanical Software Verification: High Level Control Aspects from a User's Perspective
by Wolfgang Goerigk — 2001
…Mechanical Software Verication: High Level Control Aspects from a User's Perspective Wolfgang…
Add To MetaCart

Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001)
by Maria Paola Bonacina, Bernhard Gramlich (eds.), Bernhard Gramlich (editors
… Stratulat IV Table of Contents Mechanical Software Verification: High Level Control Aspects from a User…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB