A Tool for Verifying Software Written (2001)

by T Arts, G Chugunov, M Dam, L-
Venue:Int. J. Software Tools for Technology Transfer