/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 />
@InProceedings{BeckertPosegga95b, author = {Bernhard Beckert and Joachim Posegga}, title = {{\mbox{{\sf leanEA}}}: {A} Poor Man's Evolving Algebra Compiler}, editor = {Peter H. Schmitt}, booktitle = {Logik in der Informatik --- {3. Jahrestagung} der GI-Fachgruppe 0.1.6}, venue = {Karlsruhe, Germany}, series = {Technical Report}, number = {95/23}, pages = {28--37}, month = apr, publisher = {Universit\"{a}t Karlsruhe, Fakult\"{a}t f\"{u}r Informatik}, year = {1995} }