Nobukazu Yoshioka, Masato Suzuki, Takuya Katayama. Incremental Software Development Method Based on Abstract Interpretation. In Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998, USA, April 16-18, 1998. pages 126-134, IEEE Computer Society, 1998. [doi]
Abstract is missing.