Publications

AuthID
P-008-55Q

Author(s)

Leino, KRM

Rivera, V

Document Type

Proceedings Paper

Year published

2012

Published

in 2012 2nd International Workshop on Developing Tools as Plug-Ins, TOPI 2012 - Proceedings

Pages: 49-54

Conference

2012 2Nd International Workshop on Developing Tools as Plug-Ins, Topi 2012, Date: 3 June 2012 through 3 June 2012, Location: Zurich

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Publication Identifiers

DOI: 10.1109/topi.2012.6229810

Scopus: 2-s2.0-84864225584

Export Publication Metadata

Marked List

Info

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

Useful Links