2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering Journal

Overview
Identity
View All

publication venue for

A Methodology for the Simplification of Tabular Designs in Model-Based Development 2015