Skip to main content


eCommons@Cornell >

Browsing by Author Krafft, Dean B.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 9 of 9
PreviewIssue DateTitleAuthor(s)
Apr-1978The Assertion Table System for the PL/CV2 Program VerifierKrafft, Dean B.
Sep-1981AVID: A system for the Interactive Development of Verifiably Correct ProgramsKrafft, Dean B.
23-Feb-2011C.U. at the Library: Then and Now, Olin Library 1961-2011Kenney, Anne R.; Krafft, Dean B.
Apr-1981Determining Logical Dependency in a Decision Procedure for EqualityKrafft, Dean B.; Demers, Alan J.
May-1995Dienst: Implementation Reference ManualLagoze, Carl; Shaw, Erin; Davis, James R.; Krafft, Dean B.
1985Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at CornellGries, David; Teitelbaum, Tim; Reps, Thomas; Schneider, Fred B.; Babaoglu, Ozalp; Birman, Kenneth P.; Toueg, Sam; Krafft, Dean B.; Solworth, Jon A.; Duke, Diane; Fish, Michele
7-Oct-2010Meeting Funders’ Data Policies: Blueprint for a Research Data Management Service Group (RDMSG)Block, William C.; Chen, Eric; Cordes, Jim; Dietrich, Dianne; Krafft, Dean B.; Kramer, Stefan; Lifka, David; McCue, Janet; Steinhart, Gail
libforum3.gif.jpg13-Jan-2010So, What Does a Chief Technology Strategist Actually Do?Krafft, Dean B.
12-Apr-2010Taking the Library Outside the Library: A Light-weight Innovation Model for Heavy-weight Economic TimesKrafft, Dean B.; Dietrich, Dianne; Krkoska, Baseema B.
Showing results 1 to 9 of 9


© 2014 Cornell University Library Contact Us