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/sas/sas2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/sas/AlbertAGPD10,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
German Puebla and
Diana V. Ram{\'{\i}}rez{-}Deantes},
editor = {Radhia Cousot and
Matthieu Martel},
title = {From Object Fields to Local Variables: {A} Practical Approach to Field-Sensitive
Analysis},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {100--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_7},
doi = {10.1007/978-3-642-15769-1\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AlbertAGPD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AliasDFG10,
author = {Christophe Alias and
Alain Darte and
Paul Feautrier and
Laure Gonnord},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Multi-dimensional Rankings, Program Termination, and Complexity Bounds
of Flowchart Programs},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {117--133},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_8},
doi = {10.1007/978-3-642-15769-1\_8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/AliasDFG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AmatoPS10,
author = {Gianluca Amato and
Maurizio Parton and
Francesca Scozzari},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Deriving Numerical Abstract Domains via Principal Component Analysis},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {134--150},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_9},
doi = {10.1007/978-3-642-15769-1\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AmatoPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BellAW10,
author = {Christian J. Bell and
Andrew W. Appel and
David Walker},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Concurrent Separation Logic for Pipelined Parallelization},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {151--166},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_10},
doi = {10.1007/978-3-642-15769-1\_10},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BellAW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BrauerK10,
author = {J{\"{o}}rg Brauer and
Andy King},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Automatic Abstraction for Intervals Using Boolean Formulae},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {167--183},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_11},
doi = {10.1007/978-3-642-15769-1\_11},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/BrauerK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Chapoutot10,
author = {Alexandre Chapoutot},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Interval Slopes as a Numerical Abstract Domain for Floating-Point
Variables},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {184--200},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_12},
doi = {10.1007/978-3-642-15769-1\_12},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Chapoutot10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CheriniRB10,
author = {Renato Cherini and
Lucas Rearte and
Javier O. Blanco},
editor = {Radhia Cousot and
Matthieu Martel},
title = {A Shape Analysis for Non-linear Data Structures},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {201--217},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_13},
doi = {10.1007/978-3-642-15769-1\_13},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/CheriniRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DilligDA10,
author = {Isil Dillig and
Thomas Dillig and
Alex Aiken},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Small Formulas for Large Programs: On-Line Constraint Simplification
in Scalable Static Analysis},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {236--252},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_15},
doi = {10.1007/978-3-642-15769-1\_15},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DilligDA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Emerson10,
author = {E. Allen Emerson},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Time of Time},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {1},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_1},
doi = {10.1007/978-3-642-15769-1\_1},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Emerson10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Fahndrich10,
author = {Manuel F{\"{a}}hndrich},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Static Verification for Code Contracts},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {2--5},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_2},
doi = {10.1007/978-3-642-15769-1\_2},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Fahndrich10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/FarzanK10,
author = {Azadeh Farzan and
Zachary Kincaid},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Compositional Bitvector Analysis for Concurrent Programs with Nested
Locks},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {253--270},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_16},
doi = {10.1007/978-3-642-15769-1\_16},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/FarzanK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GawlitzaS10,
author = {Thomas Martin Gawlitza and
Helmut Seidl},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {271--286},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_17},
doi = {10.1007/978-3-642-15769-1\_17},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GawlitzaS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Goldberg10,
author = {Benjamin Goldberg},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Translation Validation of Loop Optimizations and Software Pipelining
in the {TVOC} Framework - In Memory of Amir Pnueli},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {6--21},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_3},
doi = {10.1007/978-3-642-15769-1\_3},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Goldberg10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GurfinkelC10,
author = {Arie Gurfinkel and
Sagar Chaki},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Boxes: {A} Symbolic Abstract Domain of Boxes},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {287--303},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_18},
doi = {10.1007/978-3-642-15769-1\_18},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/GurfinkelC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HarrisLNR10,
author = {William R. Harris and
Akash Lal and
Aditya V. Nori and
Sriram K. Rajamani},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Alternation for Termination},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {304--319},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_19},
doi = {10.1007/978-3-642-15769-1\_19},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HarrisLNR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HeizmannJP10,
author = {Matthias Heizmann and
Neil D. Jones and
Andreas Podelski},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Size-Change Termination and Transition Invariants},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {22--50},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_4},
doi = {10.1007/978-3-642-15769-1\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/HeizmannJP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HofmannKS10,
author = {Martin Hofmann and
Aleksandr Karbyshev and
Helmut Seidl},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Verifying a Local Generic Solver in Coq},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {340--355},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_21},
doi = {10.1007/978-3-642-15769-1\_21},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HofmannKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JensenMT10,
author = {Simon Holm Jensen and
Anders M{\o}ller and
Peter Thiemann},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Interprocedural Analysis with Lazy Propagation},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {320--339},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_20},
doi = {10.1007/978-3-642-15769-1\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/JensenMT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KatoenMMM10,
author = {Joost{-}Pieter Katoen and
Annabelle McIver and
Larissa Meinicke and
Carroll C. Morgan},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Linear-Invariant Generation for Probabilistic Programs: - Automated
Support for Proof-Based Methods},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {390--406},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_24},
doi = {10.1007/978-3-642-15769-1\_24},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/KatoenMMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Lesens10,
author = {David Lesens},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Using Static Analysis in Space: Why Doing so?},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {51--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_5},
doi = {10.1007/978-3-642-15769-1\_5},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Lesens10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MalkisPR10,
author = {Alexander Malkis and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Thread-Modular Counterexample-Guided Abstraction Refinement},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {356--372},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_22},
doi = {10.1007/978-3-642-15769-1\_22},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/MalkisPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MatringeMR10,
author = {Nadir Matringe and
Arnaldo Vieira Moura and
Rachid Rebiha},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic
Methods},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {373--389},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_23},
doi = {10.1007/978-3-642-15769-1\_23},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/MatringeMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/McCloskeyRS10,
author = {Bill McCloskey and
Thomas W. Reps and
Mooly Sagiv},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Statically Inferring Complex Heap, Array, and Numeric Invariants},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {71--99},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_6},
doi = {10.1007/978-3-642-15769-1\_6},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/McCloskeyRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Might10,
author = {Matthew Might},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Abstract Interpreters for Free},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {407--421},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_25},
doi = {10.1007/978-3-642-15769-1\_25},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Might10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/NasreG10,
author = {Rupesh Nasre and
Ramaswamy Govindarajan},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Points-to Analysis as a System of Linear Equations},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {422--438},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_26},
doi = {10.1007/978-3-642-15769-1\_26},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/NasreG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PredaGDCT10,
author = {Mila Dalla Preda and
Roberto Giacobazzi and
Saumya K. Debray and
Kevin Coogan and
Gregg M. Townsend},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Modelling Metamorphism by Abstract Interpretation},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {218--235},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_14},
doi = {10.1007/978-3-642-15769-1\_14},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/PredaGDCT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SchrijversM10,
author = {Tom Schrijvers and
Alan Mycroft},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Strictness Meets Data Flow},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {439--454},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_27},
doi = {10.1007/978-3-642-15769-1\_27},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/SchrijversM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/VechevYRS10,
author = {Martin T. Vechev and
Eran Yahav and
Raghavan Raman and
Vivek Sarkar},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Automatic Verification of Determinism for Structured Parallel Programs},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {455--471},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_28},
doi = {10.1007/978-3-642-15769-1\_28},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/VechevYRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2010,
editor = {Radhia Cousot and
Matthieu Martel},
title = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1},
doi = {10.1007/978-3-642-15769-1},
isbn = {978-3-642-15768-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2010.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-05-04 04:58 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:
