MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Marcel Oliveira" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2 documents found, showing 1 through 2.
ATOM RSS
  • From circus to jcsp  
  • by Marcel Oliveira, Ana Cavalcanti — 2004 — Sixth International Conference on Formal Engineering Methods, volume 3308 of LNCS, pages 320 – 340
  • …From Circus to JCSP Marcel Oliveira and Ana Cavalcanti Department of Computer Science…
  • Cited by 4 (2 self) – Add To MetaCart
  • Formal development of industrial-scale systems  
  • by Marcel Oliveira, Ana Cavalcanti, Jim Woodcock — 2005 — Innovations in Systems and Software Engineering—A NASA Journal
  • …Formal Development of Industrial-Scale Systems in Circus Marcel Oliveira, Ana Cavalcanti, and Jim…
  • Cited by 2 (2 self) – Add To MetaCart
Help! Showing 1 through 2.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB