Skip to content

Leopold Haller

    • 3PublicationsNumber of items in Leopold's My Publications folder on Mendeley.
    • 2Followers

    Followers (2)

    Publications (3)

    • Verification, Model Checking, and Abstract Interpretation

      • Donaldson A
      • Haller L
      • Kroening D
      N/AReaders
      N/ACitations
      Get full text
    • A SAT Solver for Circuits Based on the Tableau Method

      • Egly U
      • Haller L
      N/AReaders
      N/ACitations
      Get full text
    • Theory and Applications of Satisfiability Testing - SAT 2009

      • Chebiryak Y
      • Wahl T
      • Kroening D
      • et al.
      N/AReaders
      N/ACitations
      Get full text