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

2020 ◽  
Vol 320 ◽  
pp. 163-166
Author(s):  
Denis Bueno ◽  
Karem A. Sakallah
Keyword(s):  
Program Transformation ◽  
International Workshop ◽  
Horn Clauses

scholarly journals Proceedings of the Third International Workshop on Verification and Program Transformation

2015 ◽  
Vol 199 ◽  
Author(s):  
Alexei Lisitsa ◽  
Andrei P. Nemytykh ◽  
Alberto Pettorossi
Keyword(s):  
Program Transformation ◽  
International Workshop ◽  
The Third

scholarly journals Proceedings Seventh International Workshop on Verification and Program Transformation

2019 ◽  
Vol 299 ◽  
Author(s):  
Alexei Lisitsa ◽  
Andrei P. Nemytykh
Keyword(s):  
Program Transformation ◽  
International Workshop

scholarly journals Proceedings of the Fourth International Workshop on Verification and Program Transformation

2016 ◽  
Vol 216 ◽  
pp. 1-2
Author(s):  
Geoff Hamilton ◽  
Alexei Lisitsa ◽  
Andrei P. Nemytykh
Keyword(s):  
Program Transformation ◽  
International Workshop

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

2021 ◽  
Vol 341 ◽  
Author(s):  
Alexei Lisitsa ◽  
Andrei P. Nemytykh
Keyword(s):  
Program Transformation ◽  
International Workshop
Sign in / Sign up

Export Citation Format

Share Document