scholarly journals Proceedings Fifth International Workshop on Verification and Program Transformation

2017 ◽  
Vol 253 ◽  
pp. 1-2
Author(s):  
Alexei Lisitsa ◽  
Andrei P. Nemytykh ◽  
Maurizio Proietti
Keyword(s):  
Program Transformation ◽  
International Workshop

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