Revision #28768
Logic in Computer Science: Modelling and Reasoning About Systems(7ea6f362-981a-427c-9b40-057fc0879c94)
| Annotation | — | Homepage: https://www.cs.bham.ac.uk/research/projects/lics/ |
|---|---|---|
| Edition Group Type | — | Book |
Created by cloverfield, 2020-10-02 05:41:55
Revision Notes
No revision notes present