commit | 899634043864d7f40414930fcaba4274c2c29e4d | [log] [tgz] |
---|---|---|
author | Ed Willink <ed@willink.me.uk> | Mon Mar 25 20:33:01 2019 +0000 |
committer | Ed Willink <ed@willink.me.uk> | Mon Mar 25 20:36:06 2019 +0000 |
tree | a8954af8b3ce5d07d28e37a82a10c903607cee31 | |
parent | 3fe866304b6cebe9658ff55ec59ed208e15f4a75 [diff] |
[qvtd] ICGT 2019 QVTs paper submission