Thesis or Dissertation Program development in Java based on CafeOBJ specifications [課題研究報告書]

Ha, Xuan Linh

2017-09
Description
Supervisor:緒方 和博
情報科学研究科
修士
Full-Text

https://dspace.jaist.ac.jp/dspace/bitstream/10119/14799/4/abstract.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/14799/5/paper.pdf

Number of accesses :  

Other information