Alejandro Danylyzsn

"Continuous verification" in mission critical software development

James E. Tomayko, Jose Rivera, So Norimatsu, 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.