Voltar
Artigo Produção Nacional Revisado por pares
BIBTEX RIS

ArcAngel: a Tactic Language for Refinement

2003; Springer Science+Business Media; Volume: 15; Issue: 1 Linguagem: Inglês

10.1007/s00165-003-0003-8

ISSN

1433-299X

Autores

Marcel Oliveira, Ana Cavalcanti, Jim Woodcock,

Tópico(s)

Logic, programming, and type systems

Referência(s)
Ver no editor
Formal Aspects of Computing
Altmetric
PlumX