Cited By
View all- Harrison JUrban JWiedijk F(2014)History of Interactive Theorem ProvingComputational Logic10.1016/B978-0-444-51624-4.50004-6(135-214)Online publication date: 2014
- Dias DIyoda J(2011)Behavioural Preservation in Fault Tolerant PatternsProceedings of the 14th Brazilian Symposium on Formal Methods, Foundations and Applications - Volume 702110.5555/3090184.3090187(156-171)Online publication date: 26-Sep-2011
- Dias DIyoda J(2011)Behavioural Preservation in Fault Tolerant PatternsFormal Methods, Foundations and Applications10.1007/978-3-642-25032-3_11(156-171)Online publication date: 2011
- Show More Cited By