Relative Equivalence in the Presence of Ambiguity.
Autor: | Adler, Oshri, Eisner, Cindy, Veksler, Tatyana |
---|---|
Zdroj: | Computer Aided Verification (9783642397981); 2013, p430-446, 17p |
Databáze: | Complementary Index |
Externí odkaz: |
Autor: | Adler, Oshri, Eisner, Cindy, Veksler, Tatyana |
---|---|
Zdroj: | Computer Aided Verification (9783642397981); 2013, p430-446, 17p |
Databáze: | Complementary Index |
Externí odkaz: |