![[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Pre-testing Flash Device Driver through Model Checking Techniques]()
[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Pre-testing Flash Device Driver through Model Checking TechniquesKim, Moonzoo; Choi, Yunja; Kim, Yunho; Kim, Hotae · 2008