![](/img/cover-not-exists.png)
[IEEE 2014 11th International Joint Conference on Computer Science and Software Engineering (JCSSE) - Chon Buri (2014.5.14-2014.5.16)] 2014 11th International Joint Conference on Computer Science and Software Engineering (JCSSE) - An incremental approach to local equality predicates in OBJ specification languages
Nakamura, Masaki, Futatsugi, KokichiYear:
2014
Language:
english
DOI:
10.1109/jcsse.2014.6841891
File:
PDF, 186 KB
english, 2014