Cited By
View all- Li YSun M(2023)Challenges Engaging Formal CBSE in Industrial ApplicationsFormal Aspects of Component Software10.1007/978-3-031-52183-6_8(153-167)Online publication date: 26-Oct-2023
- Leike JTiwari A(2014)Synthesis for Polynomial Lasso ProgramsProceedings of the 15th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 831810.1007/978-3-642-54013-4_24(434-452)Online publication date: 19-Jan-2014
- Srivastava SGulwani SFoster J(2013)Template-based program verification and program synthesisInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0223-415:5-6(497-518)Online publication date: 1-Oct-2013
- Show More Cited By