Publications

Validity Checking of Putback Transformations in Bidirectional Programming

AuthID
P-00Q-8M3

Author(s)

Hu, Z

Pacheco, H

Fischer, S

Document Type

Proceedings Paper

Year published

2014

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8442 LNCS, Pages: 1-15

Conference

19Th International Symposium on Formal Methods, Fm 2014, Date: 12 May 2014 through 16 May 2014, Location: Singapore

Indexing

Scopus^®

Crossref^®9

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-319-06410-9_1

SCOPUS: 2-s2.0-84958530512

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.

Validity Checking of Putback Transformations in Bidirectional Programming

Useful Links

Get Help

Federated Authentication (Click on the image)

Validity Checking of Putback Transformations in Bidirectional Programming

Useful Links

Get Help