Larch: Languages and tools for formal specification (1993)

by J. V. Guttag , J. J. Horning , S. J. Garland , K. D. Jones , A. Modet , J. M. Wing
Venue:TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE
Citations:308 - 9 self