Masaki Nakamura 0001, Daniel Gâinâ, Kazuhiro Ogata 0001, Kokichi Futatsugi. Proving Sufficient Completeness of Constructor-Based Algebraic Specifications. In Doo-Soon Park, Han-Chieh Chao, Young-Sik Jeong, James Jong Hyuk Park, editors, Advances in Computer Science and Ubiquitous Computing - CSA & CUTE 2015, Cebu, Philippines, December 15-17, 2015. Volume 373 of Lecture Notes in Electrical Engineering, pages 15-21, Springer, 2015. [doi]
@inproceedings{0001G0F15, title = {Proving Sufficient Completeness of Constructor-Based Algebraic Specifications}, author = {Masaki Nakamura 0001 and Daniel Gâinâ and Kazuhiro Ogata 0001 and Kokichi Futatsugi}, year = {2015}, doi = {10.1007/978-981-10-0281-6_3}, url = {https://doi.org/10.1007/978-981-10-0281-6_3}, researchr = {https://researchr.org/publication/0001G0F15}, cites = {0}, citedby = {0}, pages = {15-21}, booktitle = {Advances in Computer Science and Ubiquitous Computing - CSA & CUTE 2015, Cebu, Philippines, December 15-17, 2015}, editor = {Doo-Soon Park and Han-Chieh Chao and Young-Sik Jeong and James Jong Hyuk Park}, volume = {373}, series = {Lecture Notes in Electrical Engineering}, publisher = {Springer}, isbn = {978-981-10-0280-9}, }