Alloy Meets the Algebra of Programming: A Case Study
Article in IEEE Transactions on Software Engineering (February 2013)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in IEEE Transactions on Software Engineering (February 2013)