Pages that link to "Item:Q5394197"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5394197):
Displaying 8 items.
- Formal justification of underspecification for S5 (Q287254) (← links)
- Response to ``The formal specification of safety requirements for storing explosives'' (Q1343867) (← links)
- On combining algebraic specifications with first-order logic via Athena (Q1697091) (← links)
- Bi-Abduction with Pure Properties for Specification Inference (Q2937788) (← links)
- (Q4301167) (← links)
- Proofs in parameterized specifications (Q5055758) (← links)
- (Q5457687) (← links)
- AI*IA 2005: Advances in Artificial Intelligence (Q5475747) (← links)