DMCA

Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-the-fly Verification Methods (2005)

by Frédéric Lang
Citations:20 - 5 self