314 followers
An Institution for Alloy and Its Translation to Second-Order Logic http://t.co/qns7na0Wdk #springerlink
An Institution for Alloy and Its Translation to Second-Order Logic http://t.co/qns7na0Wdk #springerlink
Formal MDE-Based Tool Development http://t.co/DmWftMbsbV #springerlink