Automated Analysis of Industrial Embedded Software.

Moonzoo Kim, Yunho Kim

Browse the full ATVA paper archive.