Logic and Verification
A collection of revision notes summarising modules taught on the Computer Science course at the University of Warwick
View on GitHub
šModules
Primary Notes
Unfortunately there are no primary notes for this module. Maybe you can create some.
More Resources
Crib Sheets
Logic and verification
Questions
Unfortunately there are no question sheets available maybe you can create one