Software Abstractions, revised edition: Logic, Language, and Analysis (Mit P… View Details July 1, 2026
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit Press View Details July 1, 2026
Software Abstractions, revised edition: Logic, Language, and Analysis (Mit P… View Details July 1, 2026