The following pages link to José Luiz Fiadeiro (Q407505):
Displaying 6 items.
- (Q5224784) (← links)
- Abstract Constraint Data Types (Q5256347) (← links)
- Revisiting the Institutional Approach to Herbrand’s Theorem (Q5275358) (← links)
- Formal Methods for Components and Objects (Q5311304) (← links)
- An algebraic semantics of event-based architectures (Q5430140) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703997) (← links)
