Formal Methods in System Design ISSN 1572-8102 Τύπος υποστήριξης Πλήρης απαλλαγή (waive) Τύπος περιοδικού Υβριδικό Όροι Μπορείτε να βρείτε περισσότερες πληροφορίες εδώ. Εκδότης SpringerNature Category: