Publications
368 total
No publications found.
Research Topics
Formal Methods in Verification
Logic, programming, and type systems
Model-Driven Software Engineering Techniques
Embedded Systems Design Techniques
Logic, Reasoning, and Knowledge
Affiliations
New York University
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.