%0 Book Section %1 series/lncs/MulderHJ20 %A Mulder, Henk %A Huisman, Marieke %A Joosten, Sebastiaan J. C. %B 20 Years of KeY %D 2020 %E Ahrendt, Wolfgang %E Beckert, Bernhard %E Bubel, Richard %E Hähnle, Reiner %E Ulbrich, Mattias %I Springer %K dblp %P 65-82 %T Improving Performance of the VerCors Program Verifier. %U http://dblp.uni-trier.de/db/series/lncs/lncs12345.html#MulderHJ20 %V 12345 %@ 978-3-030-64354-6

@incollection{series/lncs/MulderHJ20, added-at = {2020-12-17T00:00:00.000+0100}, author = {Mulder, Henk and Huisman, Marieke and Joosten, Sebastiaan J. C.}, biburl = {https://www.bibsonomy.org/bibtex/25e741255d09417306becb434541860a4/dblp}, booktitle = {20 Years of KeY}, crossref = {series/lncs/12345}, editor = {Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Ulbrich, Mattias}, ee = {https://doi.org/10.1007/978-3-030-64354-6_3}, interhash = {7cad0d9c34ecaeab9d4cce99b6b337eb}, intrahash = {5e741255d09417306becb434541860a4}, isbn = {978-3-030-64354-6}, keywords = {dblp}, pages = {65-82}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T07:42:03.000+0200}, title = {Improving Performance of the VerCors Program Verifier.}, url = {http://dblp.uni-trier.de/db/series/lncs/lncs12345.html#MulderHJ20}, volume = 12345, year = 2020 }