Lightweight formal method (1996)

by Jeannette M. Wing
Venue:IEEE Computer
Citations:56 - 7 self