Login / Signup

Optimized L*-Based Assume-Guarantee Reasoning.

Sagar ChakiOfer Strichman
Published in: TACAS (2007)
Keyphrases