View in EDS PDF Full Text

Alloy Meets the Algebra of Programming: A Case Study.

Saved in:
Bibliographic Details
Title: Alloy Meets the Algebra of Programming: A Case Study.
Authors: Oliveira, José N.1, Ferreira, Miguel A.2
Source: IEEE Transactions on Software Engineering; Mar2013, Vol. 39 Issue 3, p305-326, 22p, 2 Diagrams
Database: Applied Science & Technology Source
Description
ISSN:00985589
DOI:10.1109/TSE.2012.15