Academic Journal
Προβολή σε EDS

Deductively verifying functional scalable parallel programs with Why3

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Deductively verifying functional scalable parallel programs with Why3
Συγγραφείς: Loulergue, FrédéricAff1, IDs1027002501340y_cor1, Proust, OliviaAff1
Πηγή: Software and Systems Modeling. 25(4):1033-1057
Βάση Δεδομένων: Springer Nature Journals
Περιγραφή
ISSN:16191366
16191374
DOI:10.1007/s10270-025-01340-y