Revision history for entry Goddard, Ian Williams: A logic and semantics for imperatives [GODALA]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2024-02-15T02:58:43update
2024-02-15T02:58:43update
2024-02-15T02:58:42addLocal copy uploaded (view this copy)