Roadmap for Enhanced Languages and Methods to Aid Verification (2006)

by Gary T. Leavens , Dale Miller
Venue:In Fifth Intl. Conf. Generative Programming and Component Engineering (GPCE 2006
Citations:13 - 1 self