Taehoon Lee, Mintaek Cho, Gihwon Kwon. Using Bounded Model Checking with BOGOR. In 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea. pages 863-870, IEEE Computer Society, 2007. [doi]
Abstract is missing.