Gerhard Schellhorn. ASM Refinement Preserving Invariants. J. UCS, 14(12):1929-1948, 2008.
@article{Schellhorn08, title = {ASM Refinement Preserving Invariants}, author = {Gerhard Schellhorn}, year = {2008}, tags = {refinement}, researchr = {https://researchr.org/publication/Schellhorn08}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {14}, number = {12}, pages = {1929-1948}, }