Biblio

Export 2 results:
Sort by:
Filters: Author is Gary T. Leavens  [Clear All Filters]
2012
McDaniel, B., and G. Back, "The CloudBrowser web application framework", the 3rd annual conferenceProceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity - SPLASH '12, Tucson, Arizona, USANew York, New York, USA, ACM Press, pp. 141, 2012.
2005
Cheon, Y., G. T. Leavens, M. Sitaraman, and S. H. Edwards, "Model variables: Cleanly supporting abstraction in Design by Contract", Software: Practice and Experience, vol. 35, no. 6, May, 2005.