FORMAL VERIFICATION: BIBLIOGRAPHIES.

  1. Isabelle
  2. Mizar
  3. Automated Deduction
  4. Hardware Verification and Formal Methods
  5. Logical Frameworks
  6. Computer Algebra
  7. Logic Programming
  8. Prolog
  9. LISP
  10. Big bibliography of JACM and others
  11. Computer Science bibliography collection
  12. Mathematics bibliography collection
  13. List of computer science bibliographies
  14. Bibliographies collection