|
Search the dblp DataBase
Marcel Oliveira:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marcel Oliveira, Ana Cavalcanti
From Circus to JCSP. [Citation Graph (0, 0)][DBLP] ICFEM, 2004, pp:320-340 [Conf]
- Marcel Oliveira, Manuela Xavier, Ana Cavalcanti
Refine and Gabriel: Support for Refinement and Tactics. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:310-319 [Conf]
- Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
Unifying Theories in ProofPower-Z. [Citation Graph (0, 0)][DBLP] UTP, 2006, pp:123-140 [Conf]
- Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
ArcAngel: a Tactic Language for Refinement. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 2003, v:15, n:1, pp:28-47 [Journal]
- Marcel Oliveira, Jim Woodcock
Automatic Generation of Verified Concurrent Hardware. [Citation Graph (0, 0)][DBLP] ICFEM, 2007, pp:286-306 [Conf]
- Marcel Oliveira, Ana Cavalcanti, Jim Woodcock
A Denotational Semantics for Circus. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:107-123 [Journal]
Modelling and Implementing Complex Systems with Timebands. [Citation Graph (, )][DBLP]
Supporting ArcAngel in ProofPower. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|