Proceedings of the 9th International Workshop on Verification and Program Transformation
Alexei Lisitsa
◽
Andrei P. Nemytykh
Alexei Lisitsa
◽
Andrei P. Nemytykh
◽
Alberto Pettorossi
2020 ◽
Vol 320
◽
pp. 163-166
Denis Bueno
◽
Karem A. Sakallah
Laurent Fribourg
◽
Matthias Heizmann
Alexei Lisitsa
◽
Andrei P. Nemytykh
Geoff Hamilton
◽
Alexei Lisitsa
◽
Andrei P. Nemytykh
John P. Gallagher
◽
Rob van Glabbeek
◽
Wendelin Serwe
Alexei Lisitsa
◽
Andrei P. Nemytykh
◽
Maurizio Proietti
2020 ◽
Vol 320
◽
pp. 159-162
Zafer Esen
◽
Philipp Rümmer