M. V. M. Oliveira

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 M. V. M. Oliveira, A. L. C. Cavalcanti: ArcAngelC: a Refinement Tactic Language for Circus. Electr. Notes Theor. Comput. Sci. 214: 203-229 (2008)

	2008
1		M. V. M. Oliveira, A. L. C. Cavalcanti: ArcAngelC: a Refinement Tactic Language for Circus. Electr. Notes Theor. Comput. Sci. 214: 203-229 (2008)

Coauthor Index