Tillman, Julia J.
- Formal Specifications from Natural Language
2022/06/04 by Hahn, Christopher, Schmitt, Frederik, Tillman, Julia J. +3 · 6 citations
#FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering (cs.SE)