Login / Signup

Interpolation-based model checking for efficient incremental analysis of software.

Grigory FedyukovichAntti E. J. HyvärinenNatasha Sharygina
Published in: DDECS (2013)
Keyphrases