![](/img/cover-not-exists.png)
[IEEE 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Bangkok (2013.12.2-2013.12.5)] 2013 20th Asia-Pacific Software Engineering Conference (APSEC) - Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration
Kong, Weiqiang, Liu, Leyuan, Ando, Takahiro, Yatsu, Hirokazu, Hisazumi, Kenji, Fukuda, AkiraYear:
2013
Language:
english
DOI:
10.1109/apsec.2013.55
File:
PDF, 355 KB
english, 2013