Examens corriges

MAGISTÈRE D'INFORMATIQUE - 2018 - [Verimag]

Runtime verification of logico-temporal properties for embedded C software . ... tright capable of proving the correction of the pro-.





Télécharger MAGISTÈRE D'INFORMATIQUE - 2018 - [Verimag] pdf