About the Software Abstractions category

[peter.kriens]

Daniel Jackson wrote the book about Alloy: Software Abstractions. This category discusses questions and ideas related to this book.