/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 73

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 73
" /> /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 78

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 78
" /> /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 96

Warning: Attempt to read property "value" on null in /tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php on line 96
"/> KIT - Application-oriented Formal Verification - <br /> <b>Warning</b>: Undefined array key "title" in <b>/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php</b> on line <b>99</b><br /> <br /> <b>Warning</b>: Attempt to read property "value" on null in <b>/tmp/8691dd922c688b39445d8134f863fc050c4898b2_0.file.basen.html.php</b> on line <b>99</b><br />
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Home
@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} }