Fisler, Kathi, Roberts, Brian. A Case Study in Using ACL2 for Feature-Oriented Verification. In Proc. Int'l Workshop on the ACL2 Theorem Prover and Its Applications. 2004.
@inproceedings{FR:ACL204,
title = {A Case Study in Using ACL2 for Feature-Oriented Verification},
author = {Fisler, Kathi and Roberts, Brian},
year = {2004},
note = {Published online \url{http://www.cs.utexas.edu/users/moore/acl2/workshop-2004/}},
tags = {case study, Variability-Aware Analysis, analysis, context-aware},
researchr = {https://researchr.org/publication/FR%3AACL204},
cites = {0},
citedby = {0},
booktitle = {Proc. Int'l Workshop on the ACL2 Theorem Prover and Its Applications},
}