Matthias # 🔖 Logic for Systems: Lightweight Formal Methods for Everybody. A book that teaches formal methods of software modeling using Forge. Post Comment Message