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

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