%0 Journal Article %1 journals/infsof/HieronsSS01 %A Hierons, Robert M. %A Sadeghipour, Sadegh %A Singh, Harbhajan %D 2001 %J Inf. Softw. Technol. %K dblp %N 2 %P 137-149 %T Testing a system specified using Statecharts and Z. %U http://dblp.uni-trier.de/db/journals/infsof/infsof43.html#HieronsSS01 %V 43

@article{journals/infsof/HieronsSS01, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hierons, Robert M. and Sadeghipour, Sadegh and Singh, Harbhajan}, biburl = {https://www.bibsonomy.org/bibtex/2a7ff595bb265ce4a972e18fba2584f06/dblp}, ee = {https://doi.org/10.1016/S0950-5849(00)00145-2}, interhash = {e786ec4aebbe9ebb0792572276cd8e6f}, intrahash = {a7ff595bb265ce4a972e18fba2584f06}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 2, pages = {137-149}, timestamp = {2020-09-09T13:32:27.000+0200}, title = {Testing a system specified using Statecharts and Z.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof43.html#HieronsSS01}, volume = 43, year = 2001 }