Cited By
View all- Badr KAhmad M(2013)Managing Lessons LearnedOntology-Based Applications for Enterprise Systems and Knowledge Management10.4018/978-1-4666-1993-7.ch013(224-245)Online publication date: 2013
- Dietsch DWestphal BPodelski A(2011)System verification through program verificationProceedings of the 17th international conference on Formal methods10.5555/2021296.2021303(27-41)Online publication date: 20-Jun-2011
- Dietsch DWestphal BPodelski A(2011)System Verification through Program VerificationFM 2011: Formal Methods10.1007/978-3-642-21437-0_5(27-41)Online publication date: 2011