Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.320.13 ◽

2020 ◽

Vol 320 ◽

pp. 163-166

Author(s):

Denis Bueno ◽

Karem A. Sakallah

Keyword(s):

Program Transformation ◽

International Workshop ◽

Horn Clauses

Download Full-text

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.320.0.1 ◽

2020 ◽

Vol 320 ◽

Author(s):

Andrzej Skowron

Keyword(s):

Program Transformation ◽

International Workshop ◽

Horn Clauses

Download Full-text

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.320.0 ◽

2020 ◽

Vol 320 ◽

Author(s):

Laurent Fribourg ◽

Matthias Heizmann

Keyword(s):

Program Transformation ◽

International Workshop ◽

Horn Clauses

Download Full-text

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.320.12 ◽

2020 ◽

Vol 320 ◽

pp. 159-162

Author(s):

Zafer Esen ◽

Philipp Rümmer

Keyword(s):

Program Transformation ◽

International Workshop ◽

Horn Clauses

Download Full-text

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.320.0.3 ◽

2020 ◽

Vol 320 ◽

Author(s):

Moa Johansson

Keyword(s):

Program Transformation ◽

International Workshop ◽

Horn Clauses

Download Full-text

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.320.0.2 ◽

2020 ◽

Vol 320 ◽

Author(s):

Sophie Renault

Keyword(s):

Program Transformation ◽

International Workshop ◽

Horn Clauses

Download Full-text

Proceedings of the Third International Workshop on Verification and Program Transformation

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.199.0 ◽

2015 ◽

Vol 199 ◽

Author(s):

Alexei Lisitsa ◽

Andrei P. Nemytykh ◽

Alberto Pettorossi

Keyword(s):

Program Transformation ◽

International Workshop ◽

The Third

Download Full-text

Proceedings Seventh International Workshop on Verification and Program Transformation

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.299.0 ◽

2019 ◽

Vol 299 ◽

Author(s):

Alexei Lisitsa ◽

Andrei P. Nemytykh

Keyword(s):

Program Transformation ◽

International Workshop

Download Full-text

Proceedings of the Fourth International Workshop on Verification and Program Transformation

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.216.0 ◽

2016 ◽

Vol 216 ◽

pp. 1-2

Author(s):

Geoff Hamilton ◽

Alexei Lisitsa ◽

Andrei P. Nemytykh

Keyword(s):

Program Transformation ◽

International Workshop

Download Full-text

Proceedings of the 9th International Workshop on Verification and Program Transformation

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.341.0 ◽

2021 ◽

Vol 341 ◽

Author(s):

Alexei Lisitsa ◽

Andrei P. Nemytykh

Keyword(s):

Program Transformation ◽

International Workshop

Download Full-text

Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.268.0 ◽

2018 ◽

Vol 268 ◽

Author(s):

John P. Gallagher ◽

Rob van Glabbeek ◽

Wendelin Serwe

Keyword(s):

Program Transformation ◽

Formal Analysis ◽

International Workshop ◽

Sixth International Workshop ◽

Sixth International

Download Full-text