Robert Mark Hierons

• Theoretical Aspects of Computing – ICTAC 2019