Publications

Contract-Based Slicing

AuthID
P-003-BVG

Author(s)

da Cruz, D

Henriques, PR

Pinto, JS

Editor(s)

Margaria, T; Steffen, B

Document Type

Proceedings Paper

Year published

2010

Published

in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6415, Issue: PART 1, Pages: 106-120 (15)

Conference

4Th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Date: OCT 18-21, 2010, Location: Heraklion, GREECE, Sponsors: European Assoc Software Sci & Technol, TU Dortmund, Univ Potsdam

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/110448

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-16558-0_11

DBLP: conf/isola/CruzHP10

SCOPUS: 2-s2.0-78650287722

Wos: WOS:000289493100011

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.

Contract-Based Slicing

Useful Links

Get Help

Federated Authentication (Click on the image)

Contract-Based Slicing

Useful Links

Get Help