Zining Cao. Refinement Checking for Interface Automata with Z Notation. In Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE 2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010. pages 399-404, Knowledge Systems Institute Graduate School, 2010.
@inproceedings{Cao10-3, title = {Refinement Checking for Interface Automata with Z Notation}, author = {Zining Cao}, year = {2010}, tags = {refinement}, researchr = {https://researchr.org/publication/Cao10-3}, cites = {0}, citedby = {0}, pages = {399-404}, booktitle = {Proceedings of the 22nd International Conference on Software Engineering \& Knowledge Engineering (SEKE 2010), Redwood City, San Francisco Bay, CA, USA, July 1 - July 3, 2010}, publisher = {Knowledge Systems Institute Graduate School}, isbn = {1-891706-26-8}, }