N. Yoshioka

Incremental software development method based on abstract interpretation

T. Katayama, N. Yoshioka, M. Suzuki, 1998, Proceedings Ninth International Workshop on Software Specification and Design.