Publicações

Mapping Between Alloy Specifications and Database Implementations

AuthID
P-003-S47

Author(s)

Cunha, A

Pacheco, H

Editor(es)

Hung, DV; Krishnan, P

Tipo de Documento

Proceedings Paper

Year published

2009

Publicado

in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS in SEFM

Páginas: 285-294 (10)

Conference

7Th Ieee International Conference on Software Engineering and Formal Methods (Sefm 2009), Date: NOV 23-27, 2009, Location: Hanoi, VIETNAM, Patrocinadores: IEEE Comp Soc, UNU-IIST, Vietnam Natl Univ, Japan Adv Inst Sci & Technol

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/124039

Crossref^®9

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/sefm.2009.27

DBLP: conf/sefm/CunhaP09

SCOPUS: 2-s2.0-77749243240

Wos: WOS:000275404000028

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Mapping Between Alloy Specifications and Database Implementations

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Mapping Between Alloy Specifications and Database Implementations

Links Úteis

Ajuda