Compositional Reasoning in Model Checking (1998)

by Sergey Berezin , Sérgio Campos , Edmund M. Clarke
Citations:40 - 4 self