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

Scholarly Activity

related documents

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