Memmo - AI-verktyg och digital kurslitteratur
An Introduction to Practical Formal Methods Using Temporal Logic | 9780470027882 | Memmo
