%0 Journal Article %1 journals/jucs/Schellhorn08 %A Schellhorn, Gerhard %D 2008 %J J. Univers. Comput. Sci. %K dblp %N 12 %P 1929-1948 %T ASM Refinement Preserving Invariants. %U http://dblp.uni-trier.de/db/journals/jucs/jucs14.html#Schellhorn08 %V 14

@article{journals/jucs/Schellhorn08, added-at = {2023-09-07T00:00:00.000+0200}, author = {Schellhorn, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/24eb1bc1389b2024fd4964d8e1d2d6b03/dblp}, ee = {https://doi.org/10.3217/jucs-014-12-1929}, interhash = {43943b8a3c3bc773474f350a406b1c20}, intrahash = {4eb1bc1389b2024fd4964d8e1d2d6b03}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 12, pages = {1929-1948}, timestamp = {2024-04-08T15:57:27.000+0200}, title = {ASM Refinement Preserving Invariants.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs14.html#Schellhorn08}, volume = 14, year = 2008 }