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