The following pages link to Marcel V. M. Oliveira (Q333317):
Displayed 11 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- (Q432150) (redirect page) (← links)
- Mechanised support for sound refinement tactics (Q432151) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- ArcAngel: a tactic language for refinement (Q706504) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- (Q1705696) (redirect page) (← links)
- Compositional and local livelock analysis for CSP (Q1705697) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- Specification and Verification of a MPI Implementation for a MP-SoC (Q3585051) (← links)
- Unifying Theories in ProofPower-Z (Q5307478) (← links)