Handling Java's Abrupt Termination in a Sequent Calculus for Dynamic Logic

@inproceedings{BeckertSasse2001,
  author    = {Bernhard Beckert and Bettina Sasse},
  title     = {Handling {J}ava's Abrupt Termination in a Sequent Calculus
	       for {D}ynamic {L}ogic},
  booktitle = {IJCAR Workshop on Precise Modelling and
	       Deduction for Object-oriented Software Development ({PMD} '01)},
  venue     = {Siena, Italy},
  editor    = {B. Beckert and R. France and R. H\"ahnle and B. Jacobs},
  publisher = {Technical Report DII 07/01, Dipartimento di Ingegneria
	       dell'Informazione, Universit\`a degli Studi di Siena},
  pages     = {5--14},
  month     = jun,
  eventdate = {2001-06-18/2001-06-18},
  year      = {2001}
}