Pages that link to "Item:Q1763061"

The following pages link to Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings. (Q1763061):

Displayed 2 items.

• Applying SAT solving in classification of finite algebras (Q862393) ‎ (← links)
• On the order of test goals in specification-based testing (Q2270689) ‎ (← links)