Metalevel algorithms for variant satisfiability
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Apr 01, 2018
- Source ID
- 10.1016/j.jlamp.2017.12.006
Entities
People
- José Meseguer
- Stephen Skeirik
Organizations
- National Science Foundation
- United States Naval Research Laboratory