Academic Journal
Integrating formal specifications into applications: the ProB Java API
| Τίτλος: | Integrating formal specifications into applications: the ProB Java API |
|---|---|
| Συγγραφείς: | Körner, PhilippAff1, IDs10703020003513_cor1, Bendisposto, Jens, Dunkelau, Jannik, Krings, Sebastian, Leuschel, Michael |
| Πηγή: | Formal Methods in System Design: An International Journal. 58(1-2):160-187 |
| Βάση Δεδομένων: | Springer Nature Journals |
καταχωρήστε σχόλιο πρώτοι!