Formal Methods in System Design

Link

https://link.springer.com/journal/volumesAndIssues/10703

Resource Type

Print ISSN

0925-9856

Online ISSN

1572-8102

Managed Coverage Begin

1/1/1997

Managed Coverage End

Present

Subject

Computer Hardware

Computer Science

Computer Software

Computer Systems

Instruments and machines

Publisher

Springer Nature Optimum - Springer, Palgrave, Academic Journals (CLC)