Type-Safe Two-Level Data Transformation

AuthID
 P-004-PP9
3
Author(s)
3
Editor(es)
Misra, J; Nipkow, T; Sekerinski, E
Tipo de Documento
Article
Year published
2006
Publicado
in FM 2006: FORMAL METHODS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4085, Páginas: 284-299 (16)
Conference
14Th International Symposium on Formal Methods, Date: AUG 21-27, 2006, Location: Hamilton, CANADA, Patrocinadores: Formal Methods Europe, Microsoft Res, Tourism Hamilton, SAP Labs France, Software Qual Res Lab, McMaster Univ, McMaster Univ, Fac Engn, Host: McMaster Univ
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/154313
Crossref®18
Google Scholar®
Publication Identifiers
DBLP: conf/fm/CunhaOV06
SCOPUS: 2-s2.0-33749410632
Wos: WOS:000240312100020
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.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service