1. Dirk Beyer . 2021. Software Verification: 10th Comparative Evaluation (SV-COMP 2021 ). In Tools and Algorithms for the Construction and Analysis of Systems, Jan Friso Groote and Kim Guldstrand Larsen (Eds.). Springer International Publishing , Cham, 401--422. Dirk Beyer. 2021. Software Verification: 10th Comparative Evaluation (SV-COMP 2021). In Tools and Algorithms for the Construction and Analysis of Systems, Jan Friso Groote and Kim Guldstrand Larsen (Eds.). Springer International Publishing, Cham, 401--422.
2. Eric Bruneton , Romain Lenglet , and Thierry Coupaye . 2002 . ASM: A code manipulation tool to implement adaptable systems. In In Adaptable and extensible component systems. Eric Bruneton, Romain Lenglet, and Thierry Coupaye. 2002. ASM: A code manipulation tool to implement adaptable systems. In In Adaptable and extensible component systems.
3. Symbolic execution for software testing
4. William F. Clocksin and Christopher S . Mellish . 2012 . Programming in Prolog : Using the ISO standard. Springer Science & Business Media . William F. Clocksin and Christopher S. Mellish. 2012. Programming in Prolog: Using the ISO standard. Springer Science & Business Media.
5. Andorra I