diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-12-15 16:46:57 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-12-15 16:46:57 +0000 |
| commit | d5e2a0852d47c7e16c67557f2e3c86bc28407737 (patch) | |
| tree | 026625bdadd17bb6a734f05e33582b37f471e0c7 | |
| parent | 215bf61115a1b78c6466830c89574091459bebdb (diff) | |
key book entry
| -rw-r--r-- | doc/gf-bib.bib | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/gf-bib.bib b/doc/gf-bib.bib index 5a9cd3828..c6f1d0b94 100644 --- 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}}, |