Academic Journal
Deductively verifying functional scalable parallel programs with Why3
| Τίτλος: | Deductively verifying functional scalable parallel programs with |
|---|---|
| Συγγραφείς: | Loulergue, FrédéricAff1, IDs1027002501340y_cor1, Proust, OliviaAff1 |
| Πηγή: | Software and Systems Modeling. 25(4):1033-1057 |
| Βάση Δεδομένων: | Springer Nature Journals |
καταχωρήστε σχόλιο πρώτοι!