2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) Conference

Scholarly Activity

related documents

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