Summary: Typestate Protocol Specification in JML
Taekgoo Kim
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA
vanang@cs.cmu.edu
Kevin Bierhoff
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA
kevin.bierhoff@cs.cmu.edu
Jonathan Aldrich
School of Computer Science
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, PA 15213, USA
jonathan.aldrich@cs.cmu.edu
Sungwon Kang

Source: Aldrich, Jonathan - School of Computer Science, Carnegie Mellon University

Collections: Computer Technologies and Information Sciences