The following pages link to Marcelo F. Frias (Q817580):
Displaying 4 items.
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Complete Calculi for Structured Specifications in Fork Algebra (Q3585054) (← links)
- Fork Algebras as a Sufficiently Rich Universal Institution (Q3623937) (← links)
- Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications (Q5758135) (← links)
