View of Towards the safety verification of real-time systems with the COQ proof assistant

Return to Issue Details Towards the safety verification of real-time systems with the COQ proof assistant Download Download PDF