%0 Conference Paper %1 conf/iceccs/LiuM05a %A Liu, Ling %A Miao, Huaikou %B ICECCS %D 2005 %I IEEE Computer Society %K dblp %P 498-506 %T Mutation Operators for Object-Z Specification. %U http://dblp.uni-trier.de/db/conf/iceccs/iceccs2005.html#LiuM05a %@ 0-7695-2284-X

@inproceedings{conf/iceccs/LiuM05a, added-at = {2015-04-23T00:00:00.000+0200}, author = {Liu, Ling and Miao, Huaikou}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/20dc0c0b30c6637c10bd8a39a82b3d70b/dblp}, booktitle = {ICECCS}, crossref = {conf/iceccs/2005}, ee = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2005.65}, interhash = {525548cf54d01fce528880d6d2ce31f1}, intrahash = {0dc0c0b30c6637c10bd8a39a82b3d70b}, isbn = {0-7695-2284-X}, keywords = {dblp}, pages = {498-506}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T12:01:12.000+0100}, title = {Mutation Operators for Object-Z Specification.}, url = {http://dblp.uni-trier.de/db/conf/iceccs/iceccs2005.html#LiuM05a}, year = 2005 }