Robert E. Wells

Design of the PEN video editor display module

David R. Barach, David H. Taenzer, Robert E. Wells, 1981 .

Gypsy: A language for specification and implementation of verifiable programs

James C. Browne, Donald I. Good, Richard M. Cohen, 1977 .

The GTCP331 Auxiliary Power Unit for the Next Generation Commercial Transports

Robert E. Wells, Aldo L. Romanin, 1980 .

INTEGRATED METHODOLOGY FOR FORMALLY VERIFIED COMMUNICATIONS PROCESSING SYSTEMS.

James C. Browne, Michael K. Smith, Robert E. Wells, 2017 .

Design of the PEN video editor display module

David R. Barach, David H. Taenzer, Robert E. Wells, 1981 .