Contract-Based Slicing

AuthID
 P-003-BVG
3
Author(s)
2
Editor(es)
Margaria, T; Steffen, B
Tipo de Documento
Proceedings Paper
Year published
2010
Publicado
in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 6415, Número: PART 1, Páginas: 106-120 (15)
Conference
4Th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Date: OCT 18-21, 2010, Location: Heraklion, GREECE, Patrocinadores: European Assoc Software Sci & Technol, TU Dortmund, Univ Potsdam
Indexing
Wos®
Scopus®
Dblp®/pt/publications/view/110448
Crossref®
Google Scholar®
Publication Identifiers
DBLP: conf/isola/CruzHP10
SCOPUS: 2-s2.0-78650287722
Wos: WOS:000289493100011
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