Formal Methods in System Design
ISSN: 0925-9856 | eISSN: 1572-8102
Indexing: Google scholar
The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Th...
View Journal Details