Publications

CAMILA: Prototyping and Refinement of Constructive Specifications

AuthID
P-008-M71

Author(s)

Almeida, JJ

Barbosa, LS

Neves, FL

Oliveira, JN

Editor(s)

Michael Johnson

Document Type

Proceedings Paper

Year published

1997

Published

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, Pages: 554-559

Conference

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

Indexing

Scopus^®

Dblp^®/en/publications/view/282849

Crossref^®1

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/BFb0000496

Dblp: conf/amast/AlmeidaBNO97

Scopus: 2-s2.0-84947903561

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

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

CAMILA: Prototyping and Refinement of Constructive Specifications

Useful Links

Get Help

Federated Authentication (Click on the image)

CAMILA: Prototyping and Refinement of Constructive Specifications

Useful Links

Get Help