Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/vmcai/vmcai2015.bht:"
download as .bib file
@inproceedings{DBLP:conf/vmcai/AdjeG15,
author = {Assal{\'{e}} Adj{\'{e}} and
Pierre{-}Lo{\"{\i}}c Garoche},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {99--116},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_6},
doi = {10.1007/978-3-662-46081-8\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/AdjeG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BackesR15,
author = {Peter Backes and
Jan Reineke},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Analysis of Infinite-State Graph Transformation Systems by Cluster
Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {135--152},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_8},
doi = {10.1007/978-3-662-46081-8\_8},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BackesR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BjornerG15,
author = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Property Directed Polyhedral Abstraction},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {263--281},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_15},
doi = {10.1007/978-3-662-46081-8\_15},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/BjornerG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BraitlingFHWBH15,
author = {Bettina Braitling and
Luis Mar{\'{\i}}a Ferrer Fioriti and
Hassan Hatefi and
Ralf Wimmer and
Bernd Becker and
Holger Hermanns},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Abstraction-Based Computation of Reward Measures for Markov Automata},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {172--189},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_10},
doi = {10.1007/978-3-662-46081-8\_10},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BraitlingFHWBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Christakis0W15,
author = {Maria Christakis and
Peter M{\"{u}}ller and
Valentin W{\"{u}}stholz},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {An Experimental Evaluation of Deliberate Unsoundness in a Static Program
Analyzer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {336--354},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_19},
doi = {10.1007/978-3-662-46081-8\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Christakis0W15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ChristakisG15,
author = {Maria Christakis and
Patrice Godefroid},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Proving Memory Safety of the {ANI} Windows Image Parser Using Compositional
Exhaustive Testing},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {373--392},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_21},
doi = {10.1007/978-3-662-46081-8\_21},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ChristakisG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CortesiFPT15,
author = {Agostino Cortesi and
Pietro Ferrara and
Marco Pistoia and
Omer Tripp},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Datacentric Semantics for Verification of Privacy Policy Compliance
by Mobile Applications},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {61--79},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_4},
doi = {10.1007/978-3-662-46081-8\_4},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CortesiFPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Cousot15,
author = {Patrick Cousot},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Abstracting Induction by Extrapolation and Interpolation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {19--42},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_2},
doi = {10.1007/978-3-662-46081-8\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Cousot15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DanMVY15,
author = {Andrei Marian Dan and
Yuri Meshman and
Martin T. Vechev and
Eran Yahav},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Effective Abstractions for Verification under Relaxed Memory Models},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {449--466},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_25},
doi = {10.1007/978-3-662-46081-8\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DanMVY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Ferrara0N15,
author = {Pietro Ferrara and
Peter M{\"{u}}ller and
Milos Nov{\'{a}}cek},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Automatic Inference of Heap Properties Exploiting Value Domains},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {393--411},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_22},
doi = {10.1007/978-3-662-46081-8\_22},
timestamp = {Tue, 24 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Ferrara0N15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GanjeiREP15,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Abstracting and Counting Synchronizing Processes},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {227--244},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_13},
doi = {10.1007/978-3-662-46081-8\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GanjeiREP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GhorbalSP15,
author = {Khalil Ghorbal and
Andrew Sogokon and
Andr{\'{e}} Platzer},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {A Hierarchy of Proof Rules for Checking Differential Invariance of
Algebraic Sets},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {431--448},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_24},
doi = {10.1007/978-3-662-46081-8\_24},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GhorbalSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GjomemoNPVZ15,
author = {Rigel Gjomemo and
Kedar S. Namjoshi and
Phu H. Phung and
V. N. Venkatakrishnan and
Lenore D. Zuck},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {From Verification to Optimizations},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {300--317},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_17},
doi = {10.1007/978-3-662-46081-8\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GjomemoNPVZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KafleG15,
author = {Bishoksan Kafle and
John P. Gallagher},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Tree Automata-Based Refinement with Application to Horn Clause Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {209--226},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_12},
doi = {10.1007/978-3-662-46081-8\_12},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KafleG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LiuR15,
author = {Jiangchao Liu and
Xavier Rival},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Abstraction of Arrays Based on Non Contiguous Partitions},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {282--299},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_16},
doi = {10.1007/978-3-662-46081-8\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LiuR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MukundRS15,
author = {Madhavan Mukund and
Ranjal Gautham Shenoy and
S. P. Suresh},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Bounded Implementations of Replicated Data Types},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {355--372},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_20},
doi = {10.1007/978-3-662-46081-8\_20},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/MukundRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NagarS15,
author = {Kartik Nagar and
Y. N. Srikant},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Path Sensitive Cache Analysis Using Cache Miss Paths},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {43--60},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_3},
doi = {10.1007/978-3-662-46081-8\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/NagarS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PrabhakarS15,
author = {Pavithra Prabhakar and
Miriam Garcia Soto},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Foundations of Quantitative Predicate Abstraction for Stability Analysis
of Hybrid Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {318--335},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_18},
doi = {10.1007/978-3-662-46081-8\_18},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PrabhakarS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RandourRS15,
author = {Mickael Randour and
Jean{-}Fran{\c{c}}ois Raskin and
Ocan Sankur},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Variations on the Stochastic Shortest Path Problem},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {1--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_1},
doi = {10.1007/978-3-662-46081-8\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/RandourRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ReynoldsK15,
author = {Andrew Reynolds and
Viktor Kuncak},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Induction for {SMT} Solvers},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {80--98},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_5},
doi = {10.1007/978-3-662-46081-8\_5},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ReynoldsK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SahaEJMT15,
author = {Ratul Saha and
Javier Esparza and
Sumit Kumar Jha and
Madhavan Mukund and
P. S. Thiagarajan},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Distributed Markov Chains},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {117--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_7},
doi = {10.1007/978-3-662-46081-8\_7},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SahaEJMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SalaunY15,
author = {Gwen Sala{\"{u}}n and
Lina Ye},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Debugging Process Algebra Specifications},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {245--262},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_14},
doi = {10.1007/978-3-662-46081-8\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/SalaunY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/UrbanM15,
author = {Caterina Urban and
Antoine Min{\'{e}}},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {190--208},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_11},
doi = {10.1007/978-3-662-46081-8\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/UrbanM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WaezWDR15,
author = {Md Tawhid Bin Waez and
Andrzej Wasowski and
Juergen Dingel and
Karen Rudie},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {A Model for Industrial Real-Time Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {153--171},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_9},
doi = {10.1007/978-3-662-46081-8\_9},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WaezWDR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ZhuNJ15,
author = {He Zhu and
Aditya V. Nori and
Suresh Jagannathan},
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Dependent Array Type Inference from Tests},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
pages = {412--430},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46081-8\_23},
doi = {10.1007/978-3-662-46081-8\_23},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ZhuNJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2015,
editor = {Deepak D'Souza and
Akash Lal and
Kim Guldstrand Larsen},
title = {Verification, Model Checking, and Abstract Interpretation - 16th International
Conference, {VMCAI} 2015, Mumbai, India, January 12-14, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8931},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46081-8},
doi = {10.1007/978-3-662-46081-8},
isbn = {978-3-662-46080-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-04-25 17:28 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
