Publications

Assertion-Based Slicing and Slice Graphs

AuthID
P-007-WQW

Author(s)

Barros, JB

Da Cruz, D

Henriques, PR

Pinto, JS

Editor(s)

José Luiz Fiadeiro; Stefania Gnesi; Andrea Maggiolo-Schettini

Document Type

Proceedings Paper

Year published

2010

Published

in Proceedings - Software Engineering and Formal Methods, SEFM 2010 in SEFM

Pages: 93-102

Conference

8Th Ieee International Conference on Software Engineering and Formal Methods, Sefm 2010, Date: 14 September 2010 through 18 September 2010, Location: Pisa, Sponsors: IEEE Computer Society

Indexing

Scopus^®

Dblp^®/en/publications/view/258812

Crossref^®6

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/sefm.2010.18

Dblp: conf/sefm/BarrosCHP10

Scopus: 2-s2.0-78650427845

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Assertion-Based Slicing and Slice Graphs

Useful Links

Get Help

Federated Authentication (Click on the image)

Assertion-Based Slicing and Slice Graphs

Useful Links

Get Help