Specification Patterns: Formal and Easy
| Title | Specification Patterns: Formal and Easy |
| Publication Type | Journal Article |
| Year of Publication | 2015 |
| Authors | Asteasuain, F, Braberman, VA |
| Journal | International Journal of Software Engineering and Knowledge Engineering |
| Volume | 25 |
| Pagination | 669–700 |
| DOI | 10.1142/S0218194015500060 |
Work Package:
WP2
