Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

A Program Logic for Reasoning About C11 Programs With...

IEEE Access 2020 Vol. 8

A Program Logic for Reasoning About C11 Programs With Release-Sequences

He, Mengda, Qin, Shengchao, Xu, Zhiwu
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
8
Année:
2020
Journal:
IEEE Access
DOI:
10.1109/access.2020.3024681
Fichier:
PDF, 2.25 MB
2020
La conversion en est effectuée
La conversion en a échoué