2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) Journal

Overview
Identity
View All

publication venue for

Correct Safety Critical Hardware Descriptions via Static Analysis and Theorem Proving 2017