Lightweight formal method (1996)

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