![](/img/cover-not-exists.png)
[IEEE 8th International Conference on Advanced Communication Technology - Phoenix Park, Korea (2006.02.20-2006.02.22)] 2006 8th International Conference Advanced Communication Technology - APROV-SL: a specification language of the another program verifier
Taeho Kim,, Oukseh Lee,, Chaedeok Lim,Year:
2006
Language:
english
DOI:
10.1109/icact.2006.206026
File:
PDF, 177 KB
english, 2006