Abstract State Machines, B and Z

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

Nhận xét