Bridging the B-Method and ACSL: Towards Verified C Code

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος:	Bridging the B-Method and ACSL: Towards Verified C Code
Συγγραφείς:	Dias, Fagner M.^Aff9, Oliveira, Marcel V. M.^Aff9, Lecomte, Thierry^Aff10
Συνεισφορές:	Hartmanis, Juris, Founding Editor^Aff1, Goos, Gerhard, Founding Editor^Aff2, Bertino, Elisa, Series Editor^Aff3, Gao, Wen, Series Editor^Aff4, Steffen, Bernhard, Series Editor^Aff5, Yung, Moti, Series Editor^Aff6, ter Beek, Maurice H., editor^Aff7, Teixeira, Leopoldo, editor^Aff8
Πηγή:	Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025, Proceedings. 16363:39-60
Βάση Δεδομένων:	Springer Nature eBooks

Περιγραφή
ISBN:	9783032120854 9783032120861
DOI:	10.1007/978-3-032-12086-1_3