commit | ac3ecc11c420102dcdddb6084117a68274b13393 | [log] [tgz] |
---|---|---|
author | Ed Willink <ed@willink.me.uk> | Fri Jul 22 19:50:26 2016 +0100 |
committer | Ed Willink <ed@willink.me.uk> | Fri Jul 22 19:50:26 2016 +0100 |
tree | 3069674026d6d1982468b79e6167070bd669998e | |
parent | 46df79300629a19c3a05f94f7402d99d0c789621 [diff] |
[qvt] AMT 2015 invited paper (ultimately withdrawn)