UML design verification based on model checking techniques

http://repository.vnu.edu.vn/handle/VNU_123/14460



UML design verification based on model checking techniques

http://repository.vnu.edu.vn/handle/VNU_123/14460