Showing 1 - 1 results of 1 for search 'Polig, R', query time: 0.02s Refine Results
  1. 1
    Formal techniques for effective co-verification of hardware/software co-designs

    Formal techniques for effective co-verification of hardware/software co-designs by Mukherjee, R, Purandare, M, Polig, R, Kroening, D

    Published 2017
    Conference item

Search Tools: