Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/lncs/lncs10001.bht:"
@incollection{DBLP:series/lncs/0002HB16, author = {Martin Hentschel and Reiner H{\"{a}}hnle and Richard Bubel}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Debugging and Visualization}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {383--413}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_11}, doi = {10.1007/978-3-319-49812-6\_11}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/series/lncs/0002HB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/AhrendtG16, author = {Wolfgang Ahrendt and Sarah Grebing}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Using the KeY Prover}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {495--539}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_15}, doi = {10.1007/978-3-319-49812-6\_15}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/AhrendtG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/AhrendtGH16, author = {Wolfgang Ahrendt and Christoph Gladisch and Mihai Herda}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Proof-based Test Case Generation}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {415--451}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_12}, doi = {10.1007/978-3-319-49812-6\_12}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/AhrendtGH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/BeckertH0S16, author = {Bernhard Beckert and Reiner H{\"{a}}hnle and Martin Hentschel and Peter H. Schmitt}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Formal Verification with KeY: {A} Tutorial}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {541--570}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_16}, doi = {10.1007/978-3-319-49812-6\_16}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/BeckertH0S16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/BeckertK016, author = {Bernhard Beckert and Vladimir Klebanov and Benjamin Wei{\ss}}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Dynamic Logic for Java}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {49--106}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_3}, doi = {10.1007/978-3-319-49812-6\_3}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/BeckertK016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/BubelH16, author = {Richard Bubel and Reiner H{\"{a}}hnle}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {KeY-Hoare}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {571--589}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_17}, doi = {10.1007/978-3-319-49812-6\_17}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/lncs/BubelH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/GouwBR16, author = {Stijn de Gouw and Frank S. de Boer and Jurriaan Rot}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Verification of Counting Sort and Radix Sort}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {609--618}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_19}, doi = {10.1007/978-3-319-49812-6\_19}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/lncs/GouwBR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/GrahlBMSU016, author = {Daniel Grahl and Richard Bubel and Wojciech Mostowski and Peter H. Schmitt and Mattias Ulbrich and Benjamin Wei{\ss}}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Modular Specification and Verification}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {289--351}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_9}, doi = {10.1007/978-3-319-49812-6\_9}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/GrahlBMSU016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/GrahlS16, author = {Daniel Grahl and Christoph Scheben}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Functional Verification and Information Flow Analysis of an Electronic Voting System}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {593--607}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_18}, doi = {10.1007/978-3-319-49812-6\_18}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/GrahlS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/GrahlU16, author = {Daniel Grahl and Mattias Ulbrich}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {From Specification to Proof Obligations}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {243--287}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_8}, doi = {10.1007/978-3-319-49812-6\_8}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/GrahlU16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/Hahnle16, author = {Reiner H{\"{a}}hnle}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Quo Vadis Formal Verification?}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {1--19}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_1}, doi = {10.1007/978-3-319-49812-6\_1}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/lncs/Hahnle16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/HuismanAG016, author = {Marieke Huisman and Wolfgang Ahrendt and Daniel Grahl and Martin Hentschel}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Formal Specification with the Java Modeling Language}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {193--241}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_7}, doi = {10.1007/978-3-319-49812-6\_7}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/HuismanAG016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/JiB16, author = {Ran Ji and Richard Bubel}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Program Transformation and Compilation}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {473--492}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_14}, doi = {10.1007/978-3-319-49812-6\_14}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/JiB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/Mostowski16, author = {Wojciech Mostowski}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Verifying Java Card Programs}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {353--380}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_10}, doi = {10.1007/978-3-319-49812-6\_10}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/Mostowski16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/RummerU16, author = {Philipp R{\"{u}}mmer and Mattias Ulbrich}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Proof Search with Taclets}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {107--147}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_4}, doi = {10.1007/978-3-319-49812-6\_4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/RummerU16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/SchebenG16, author = {Christoph Scheben and Simon Greiner}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Information Flow Analysis}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {453--471}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_13}, doi = {10.1007/978-3-319-49812-6\_13}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/SchebenG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/Schmitt16, author = {Peter H. Schmitt}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {First-Order Logic}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {23--47}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_2}, doi = {10.1007/978-3-319-49812-6\_2}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/Schmitt16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/SchmittB16, author = {Peter H. Schmitt and Richard Bubel}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Theories}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {149--166}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_5}, doi = {10.1007/978-3-319-49812-6\_5}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/SchmittB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/lncs/WasserHB16, author = {Nathan Wasser and Reiner H{\"{a}}hnle and Richard Bubel}, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Abstract Interpretation}, booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, pages = {167--189}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6\_6}, doi = {10.1007/978-3-319-49812-6\_6}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/lncs/WasserHB16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/lncs/10001, editor = {Wolfgang Ahrendt and Bernhard Beckert and Richard Bubel and Reiner H{\"{a}}hnle and Peter H. Schmitt and Mattias Ulbrich}, title = {Deductive Software Verification - The KeY Book - From Theory to Practice}, series = {Lecture Notes in Computer Science}, volume = {10001}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49812-6}, doi = {10.1007/978-3-319-49812-6}, isbn = {978-3-319-49811-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/lncs/10001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.