Moura, Leonardo de
URI(s)
Variants
- De Moura, Leonardo
Additional Information
Has Affiliation
- Organization: Microsoft Research
Associated Locale
- United States
Associated Language
- English
Field of Activity
Occupation
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Formal methods : foundations and applications, 2013:t.p. (Leonardo de Moura) verso (Microsoft Research, Redmond, WA, USA)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2013-10-09: new
- 2013-10-10: revised
Alternate Formats