Você está em: Start > Publications > View > LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Map of Premises

Publication

Publications

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Title

Type

International Conference Proceedings Book

Date

2015

Title

LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Type

International Conference Proceedings Book

Year

2015

Conference International

25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)

Univ Siena, Siena, ITALY, JUL 13-15, 2015

Other information

Language: English

Type (Professor's evaluation): Scientific

ISBN: 978-3-319-27436-2; 978-3-319-27435-5

Electronic ISBN: 978-3-319-27436-2

Collection: Lecture Notes in Computer Science

Vol.: 9527

Documents

We could not find any documents associated to the publication.

Publications included

Article in International Conference Proceedings Book

Sandra Alves (Author) (FCUP); Broda, S (Author) (FCUP); Maribel FernÃ¡ndez (Author) (Other)

2015