An Algebra of Alignment for Relational Verification
- Timos Antonopoulos
- , Eric Koskinen
- , Ton Chanh Le
- , Ramana Nagasamudram
- , David A. Naumann
- , Minh Ngo
Research output: Contribution to journal › Article › peer-review
18
Scopus
citations