Funder
Ministério da Ciência, Tecnologia e Ensino Superior
Fundação para a Ciência e a Tecnologia
Reference43 articles.
1. The KeY tool: Integrating object oriented design and formal verification;Ahrendt;Softw. Syst. Model.,2005
2. Bajwa, I.S., Bordbar, B., Lee, M.G., 2010. OCL Constraints Generation from Natural Language Specification. In: 2010 14th IEEE International Enterprise Distributed Object Computing Conference. pp. 204–213.
3. Resolving syntactic ambiguities in natural language specification of constraints;Bajwa,2012
4. Abstract meaning representation for sembanking;Banarescu,2013
5. Extending SMT solvers to higher-order logic;Barbosa,2019