Formal Methods in System Design
| ISSN: | 1572-8102 (E-ISSN) 0925-9856 (P-ISSN) |
|---|---|
| Publisher: | Springer |
| Entitled Authors: | Corresponding author |
| Subject: | Computer Science |
| Business Model: | hybrid OA |
| License: | CC BY |
| Homepage: | https://springer.com/10703 |
| Info Links: | MPDL Information
Provider Information |