Authors: WING JM VAZIRIFARAHANI M

Citation: Jm. Wing et M. Vazirifarahani, A CASE-STUDY IN MODEL CHECKING SOFTWARE SYSTEMS, Science of computer programming, 28(2-3), 1997, pp. 273-299

Authors: CLARKE EM WING JM

Citation: Em. Clarke et Jm. Wing, FORMAL METHODS - STATE-OF-THE-ART AND FUTURE-DIRECTIONS, ACM computing surveys, 28(4), 1996, pp. 626-643

Authors: HAINES N KINDRED D MORRISETT JG NETTLES SM WING JM

Citation: N. Haines et al., COMPOSING FIRST-CLASS TRANSACTIONS, ACM transactions on programming languages and systems, 16(6), 1994, pp. 1719-1736

Authors: LISKOV BH WING JM

Citation: Bh. Liskov et Jm. Wing, A BEHAVIORAL NOTION OF SUBTYPING, ACM transactions on programming languages and systems, 16(6), 1994, pp. 1811-1841