A Perfect Model for Bounded Verification

Esparza, Javier and Ganty, Pierre and Majumdar, Rupak
(2012) A Perfect Model for Bounded Verification.
In: Proc. of the 27th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2012).
Conference: LICS - IEEE Symposium on Logic in Computer Science

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item