Twisted Systems and the Logic of Imperative Programs (1998)
by
Lindsay Errington
| Citations: | 1 - 1 self |
Document Versions
| Twisted Systems and the Logic of Imperative Programs –Lindsay Errington — 1998 |
