1
Published 2007
Table of Contents: ... Verification Using Lazy Learning -- Local Proofs for Global Safety Properties -- Session II: Verification...
View full text
Electronic eBook