key book entry

2006-12-15 16:46:57 +00:00
parent 160c6354c0
commit 022e856e28
1 changed files with 9 additions and 0 deletions
--- a/doc/gf-bib.bib
+++ b/doc/gf-bib.bib
@@ -103,6 +103,15 @@
  year = 2005
 }

+@book{keybook,
+        AUTHOR  = {B. Beckert and R. Hähnle and P. Schmitt},
+        TITLE   = {{Verification of Object-Oriented Software: The KeY Approach}},
+        YEAR    = {2006},
+        series  = lncs,
+        volume  = {4334}, 
+        PUBLISHER = {{Springer-Verlag}}
+}
+
@book{stroustrup,
        AUTHOR  = {B. Stroustrup},
        TITLE   = {{The C++ Programming Language, Third Edition}},