Lightweight formal method (1996)

by Jeannette M. Wing
Venue:IEEE Computer
Citations:63 - 8 self