Retrofitting Rigour
Author: Peter Sewell
Paper Information
| Title: | Retrofitting Rigour |
| Authors: | Peter Sewell |
| Proceedings: | ITP 2014 LNCS Proceedings |
| Editors: | Gerwin Klein and Ruben Gamboa |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Talk: | Jul 16 15:00 |
| Paper: |  |
| Title: | Retrofitting Rigour |
| Authors: | Peter Sewell |
| Proceedings: | ITP 2014 LNCS Proceedings |
| Editors: | Gerwin Klein and Ruben Gamboa |
| Keywords: | |
| Abstract: | |
| Pages: | 1 |
| Talk: | Jul 16 15:00 |
| Paper: | |