| 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
