Cited By
View all- Kolano P(2002)Proof assistance for real-time systems using an interactive theorem proverTheoretical Computer Science10.1016/S0304-3975(01)00045-7282:1(53-99)Online publication date: 7-Jun-2002
- Kolano P(2002)Proof assistance for real-time systems using an interactive theorem proverTheoretical Computer Science10.1016/S0304-3975(01)00045-7282:1(53-99)Online publication date: 7-Jun-2002