The following pages link to (Q2722044):
Displaying 7 items.
- On normal forms for structured specifications with generating constraints (Q1708195) (← links)
- A testing perspective on algebraic, denotational, and operational semantics (Q2296283) (← links)
- Testing from structured algebraic specifications: the \textsc{Veritas} case study (Q2848448) (← links)
- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms (Q3434613) (← links)
- (Q4535183) (← links)
- A Process Algebra Based Strategy for Generating Test Vectors from SCR Specifications (Q5200477) (← links)
- Theorem Proving in Higher Order Logics (Q5477661) (← links)