File Download
There are no files associated with this item.
SFX Link
- Find it @ UNIST can give you direct access to the published full text of this article. (UNISTARs only)
- Yi, Jooyong
- Programming Languages and Software Engineering Lab.
Views & Downloads
Detailed Information
Cited time in 
Cited time in 
Cited time in
Metadata Downloads
Model Checking Object-Oriented Software Using Bandera Toolset
- Author(s)
- Bang, Ki-Seok, Yi, Jooyong, Choi, Jin-Young
- Issued Date
- 2001-00
- Citation
- KIISE (Korea Institute of Information Scientists and Engineers) 2011 Conference, pp.466 - 468
- Publisher
- Korea Institute of Information Scientists and Engineers
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.