%0 Book %1 zawÅ‚ocki_05_property %A Zawłocki, Artur %A Marczyński, Grzegorz %A Kosiuczenko, Piotr %D 2005 %J Lecture Notes in Computer Science : Algebra and Coalgebra in Computer Science %K refinement 2005 \_pdf %P 439--455 %R http://dx.doi.org/10.1007/11548133\_28 %T Property Preserving Redesign of Specifications %U http://dx.doi.org/10.1007/11548133\_28

@book{zawłocki_05_property, added-at = {2009-03-10T04:51:38.000+0100}, author = {Zaw{\l}ocki, Artur and Marczy\'{n}ski, Grzegorz and Kosiuczenko, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/242db8634e995de93a2b4a1692075fd8d/leonardo}, citeulike-article-id = {887554}, doi = {http://dx.doi.org/10.1007/11548133\_28}, interhash = {dd19dc318629debc743b0f44ccc76bf1}, intrahash = {42db8634e995de93a2b4a1692075fd8d}, journal = {Lecture Notes in Computer Science : Algebra and Coalgebra in Computer Science}, keywords = {refinement 2005 \_pdf}, pages = {439--455}, posted-at = {2006-10-06 21:27:37}, priority = {4}, timestamp = {2009-03-10T04:51:38.000+0100}, title = {Property Preserving Redesign of Specifications}, url = {http://dx.doi.org/10.1007/11548133\_28}, year = 2005 }