Publications

Refinement via Interpretation

AuthID
P-003-S46

Author(s)

Martins, MA

Madeira, A

Barbosa, LS

Editor(s)

Hung, DV; Krishnan, P

Document Type

Proceedings Paper

Year published

2009

Published

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

Pages: 250-259 (10)

Conference

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

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/124038

Crossref^®2

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1109/sefm.2009.35

DBLP: conf/sefm/MartinsMB09

SCOPUS: 2-s2.0-77749267937

Wos: WOS:000275404000025

Export Publication Metadata

Marked List

Add to Marked List

Info

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

Refinement via Interpretation

Useful Links

Get Help

Federated Authentication (Click on the image)

Refinement via Interpretation

Useful Links

Get Help