You are on the test website; all changes made here are not synced with the main database and will be overwritten periodically.

Revision History
for Logic in Computer Science: Modelling and Reasoning About Systems

Revision ID	User	Note	Date
#28777	booknerd		2020-10-02 05:52:15
#28774	booknerd		2020-10-02 05:50:40
#28766	booknerd	book owned—booknerd	2020-10-02 05:40:38
#28732	booknerd		2020-10-02 02:41:27
#28731	booknerd		2020-10-02 02:33:58
#28730	booknerd	https://www.cs.bham.ac.uk/research/projects/lics/—booknerd	2020-10-02 02:10:16

Revision Historyfor WorkLogic in Computer Science: Modelling and Reasoning About Systems