Publicações

CAMILA: Prototyping and Refinement of Constructive Specifications

AuthID
P-008-M71

Author(s)

Almeida, JJ

Barbosa, LS

Neves, FL

Oliveira, JN

Editor(es)

Johnson,M

Tipo de Documento

Proceedings Paper

Year published

1997

Publicado

in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 1349, Páginas: 554-559

Conference

6Th International Algebraic Methodology and Software Technology Conference, Amast 1997, Date: 13 December 1997 through 17 December 1997

Indexing

Scopus^®

Dblp^®/pt/publications/view/282849

Crossref^®

Handle^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/BFb0000496

DBLP: conf/amast/AlmeidaBNO97

Handle: https://hdl.handle.net/1822/36143

SCOPUS: 2-s2.0-84947903561

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

CAMILA: Prototyping and Refinement of Constructive Specifications

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

CAMILA: Prototyping and Refinement of Constructive Specifications

Links Úteis

Ajuda