Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Yannick Moy
@article{DBLP:journals/cacm/ChapmanDMM24,
author = {Roderick Chapman and
Claire Dross and
Stuart Matthews and
Yannick Moy},
title = {Co-Developing Programs and Their Proof of Correctness},
journal = {Commun. {ACM}},
volume = {67},
number = {3},
pages = {84--94},
year = {2024},
url = {https://doi.org/10.1145/3624728},
doi = {10.1145/3624728},
timestamp = {Sat, 23 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ChapmanDMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/MaigaAGM23,
author = {A{\"{\i}}ssata Maiga and
Cyrille Artho and
Florian Gilcher and
Yannick Moy},
editor = {Cyrille Artho and
Peter Csaba {\"{O}}lveczky},
title = {Does Rust {SPARK} Joy? Safe Bindings from Rust to SPARK, Applied to
the BBQueue Library},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Formal
Techniques for Safety-Critical Systems, {FTSCS} 2023, Cascais, Portugal,
22 October 2023},
pages = {37--47},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3623503.3623534},
doi = {10.1145/3623503.3623534},
timestamp = {Thu, 26 Oct 2023 16:21:33 +0200},
biburl = {https://dblp.org/rec/conf/ftscs/MaigaAGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/CluzelGMZ21,
author = {Guillaume Cluzel and
Kyriakos Georgiou and
Yannick Moy and
Cl{\'{e}}ment Zeller},
title = {Layered Formal Verification of a {TCP} Stack},
booktitle = {{IEEE} Secure Development Conference, SecDev 2021, Atlanta, GA, USA,
October 18-20, 2021},
pages = {86--93},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SecDev51306.2021.00028},
doi = {10.1109/SECDEV51306.2021.00028},
timestamp = {Thu, 30 Dec 2021 09:40:17 +0100},
biburl = {https://dblp.org/rec/conf/secdev/CluzelGMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2108-02969,
author = {Yannick Moy},
editor = {Jos{\'{e}} Proen{\c{c}}a and
Andrei Paskevich},
title = {How the Analyzer can Help the User Help the Analyzer},
booktitle = {Proceedings of the 6th Workshop on Formal Integrated Development Environment,
F-IDE@NFM 2021, Held online, 24-25th May 2021},
series = {{EPTCS}},
volume = {338},
pages = {97--104},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.338.12},
doi = {10.4204/EPTCS.338.12},
timestamp = {Mon, 29 Nov 2021 16:32:05 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-02969.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-10347,
author = {Kyriakos Georgiou and
Guillaume Cluzel and
Paul Butcher and
Yannick Moy},
title = {Security-Hardening Software Libraries with Ada and {SPARK} - {A} {TCP}
Stack Use Case},
journal = {CoRR},
volume = {abs/2109.10347},
year = {2021},
url = {https://arxiv.org/abs/2109.10347},
eprinttype = {arXiv},
eprint = {2109.10347},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-10347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/JaloyanDMMP20,
author = {Georges{-}Axel Jaloyan and
Claire Dross and
Maroua Maalej and
Yannick Moy and
Andrei Paskevich},
editor = {Shang{-}Wei Lin and
Zhe Hou and
Brendan P. Mahony},
title = {Verification of Programs with Pointers in {SPARK}},
booktitle = {Formal Methods and Software Engineering - 22nd International Conference
on Formal Engineering Methods, {ICFEM} 2020, Singapore, Singapore,
March 1-3, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12531},
pages = {55--72},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63406-3\_4},
doi = {10.1007/978-3-030-63406-3\_4},
timestamp = {Thu, 25 Feb 2021 14:03:56 +0100},
biburl = {https://dblp.org/rec/conf/icfem/JaloyanDMMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/BrosgolDM19,
author = {Benjamin M. Brosgol and
Claire Dross and
Yannick Moy},
title = {Tutorial: {A} Practical Introduction to Formal Development and Verification
of High-Assurance Software with {SPARK}},
booktitle = {2019 {IEEE} Cybersecurity Development, SecDev 2019, Tysons Corner,
VA, USA, September 23-25, 2019},
pages = {1--2},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SecDev.2019.00012},
doi = {10.1109/SECDEV.2019.00012},
timestamp = {Wed, 27 Nov 2019 18:04:04 +0100},
biburl = {https://dblp.org/rec/conf/secdev/BrosgolDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Moy18,
author = {Yannick Moy},
title = {Climbing the Software Assurance Ladder - Practical Formal Verification
for Reliable Software},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {76},
year = {2018},
url = {https://doi.org/10.14279/tuj.eceasst.76.1069},
doi = {10.14279/TUJ.ECEASST.76.1069},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Moy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/DaillerHMM18,
author = {Sylvain Dailler and
David Hauzar and
Claude March{\'{e}} and
Yannick Moy},
title = {Instrumenting a weakest precondition calculus for counterexample generation},
journal = {J. Log. Algebraic Methods Program.},
volume = {99},
pages = {97--113},
year = {2018},
url = {https://doi.org/10.1016/j.jlamp.2018.05.003},
doi = {10.1016/J.JLAMP.2018.05.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/DaillerHMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/MaalejTM18,
author = {Maroua Maalej and
S. Tucker Taft and
Yannick Moy},
editor = {Ant{\'{o}}nio Casimiro and
Pedro Miguel Ferreira},
title = {Safe Dynamic Memory Management in Ada and {SPARK}},
booktitle = {Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe
International Conference on Reliable Software Technologies, Lisbon,
Portugal, June 18-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10873},
pages = {37--52},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92432-8\_3},
doi = {10.1007/978-3-319-92432-8\_3},
timestamp = {Fri, 09 Apr 2021 18:52:41 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/MaalejTM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1811-10814,
author = {Sylvain Dailler and
Claude March{\'{e}} and
Yannick Moy},
editor = {Paolo Masci and
Rosemary Monahan and
Virgile Prevosto},
title = {Lightweight Interactive Proving inside an Automatic Program Verifier},
booktitle = {Proceedings 4th Workshop on Formal Integrated Development Environment,
F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
series = {{EPTCS}},
volume = {284},
pages = {1--15},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.284.1},
doi = {10.4204/EPTCS.284.1},
timestamp = {Sat, 09 Apr 2022 12:27:07 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-10814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-05576,
author = {Georges{-}Axel Jaloyan and
Yannick Moy and
Andrei Paskevich},
title = {Borrowing Safe Pointers from Rust in {SPARK}},
journal = {CoRR},
volume = {abs/1805.05576},
year = {2018},
url = {http://arxiv.org/abs/1805.05576},
eprinttype = {arXiv},
eprint = {1805.05576},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-05576.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DrossM17,
author = {Claire Dross and
Yannick Moy},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Auto-Active Proof of Red-Black Trees in {SPARK}},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {68--83},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_5},
doi = {10.1007/978-3-319-57288-8\_5},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DrossM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZhangRHMC17,
author = {Zhi Zhang and
Robby and
John Hatcliff and
Yannick Moy and
Pierre Courtieu},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Focused Certification of an Industrial Compilation and Static Verification
Toolchain},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {17--34},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_2},
doi = {10.1007/978-3-319-66197-1\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ZhangRHMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FumexMM17,
author = {Cl{\'{e}}ment Fumex and
Claude March{\'{e}} and
Yannick Moy},
editor = {Andrei Paskevich and
Thomas Wies},
title = {Automating the Verification of Floating-Point Programs},
booktitle = {Verified Software. Theories, Tools, and Experiments - 9th International
Conference, {VSTTE} 2017, Heidelberg, Germany, July 22-23, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10712},
pages = {102--119},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72308-2\_7},
doi = {10.1007/978-3-319-72308-2\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/FumexMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/TaftSM16,
author = {S. Tucker Taft and
Florian Schanda and
Yannick Moy},
editor = {Radu F. Babiceanu and
H{\'{e}}l{\`{e}}ne Waeselynck and
Raymond A. Paul and
Bojan Cukic and
Jie Xu},
title = {High-Integrity Multitasking in {SPARK:} Static Detection of Data Races
and Locking Cycles},
booktitle = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
pages = {238--239},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HASE.2016.54},
doi = {10.1109/HASE.2016.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/TaftSM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KosmatovMMS16,
author = {Nikolai Kosmatov and
Claude March{\'{e}} and
Yannick Moy and
Julien Signoles},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Static versus Dynamic Verification in Why3, Frama-C and {SPARK} 2014},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {461--478},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_32},
doi = {10.1007/978-3-319-47166-2\_32},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/KosmatovMMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rssrail/DrossM16,
author = {Claire Dross and
Yannick Moy},
editor = {Thierry Lecomte and
Ralf Pinger and
Alexander B. Romanovsky},
title = {Abstract Software Specifications and Automatic Proof of Refinement},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
Verification, and Certification - First International Conference,
RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9707},
pages = {215--230},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33951-1\_16},
doi = {10.1007/978-3-319-33951-1\_16},
timestamp = {Mon, 05 Feb 2024 20:34:31 +0100},
biburl = {https://dblp.org/rec/conf/rssrail/DrossM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HauzarMM16,
author = {David Hauzar and
Claude March{\'{e}} and
Yannick Moy},
editor = {Rocco De Nicola and
Eva K{\"{u}}hn},
title = {Counterexamples from Proof Failures in {SPARK}},
booktitle = {Software Engineering and Formal Methods - 14th International Conference,
{SEFM} 2016, Held as Part of {STAF} 2016, Vienna, Austria, July 4-8,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9763},
pages = {215--233},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41591-8\_15},
doi = {10.1007/978-3-319-41591-8\_15},
timestamp = {Tue, 15 Nov 2022 15:22:36 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HauzarMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HoangMWC15,
author = {Duc Hoang and
Yannick Moy and
Angela Wallenburg and
Roderick Chapman},
title = {{SPARK} 2014 and GNATprove - {A} competition report from builders
of an industrial-strength verifying compiler},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {6},
pages = {695--707},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0322-5},
doi = {10.1007/S10009-014-0322-5},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HoangMWC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KanigCCGMR14,
author = {Johannes Kanig and
Roderick Chapman and
Cyrille Comar and
J{\'{e}}r{\^{o}}me Guitton and
Yannick Moy and
Emyr Rees},
editor = {Martina Seidl and
Nikolai Tillmann},
title = {Explicit Assumptions - {A} Prenup for Marrying Static and Dynamic
Program Verification},
booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York,
UK, July 24-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8570},
pages = {142--157},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09099-3\_11},
doi = {10.1007/978-3-319-09099-3\_11},
timestamp = {Tue, 23 Jun 2020 17:47:28 +0200},
biburl = {https://dblp.org/rec/conf/tap/KanigCCGMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/MoyLDWM13,
author = {Yannick Moy and
Emmanuel Ledinot and
Herv{\'{e}} Delseny and
Virginie Wiels and
Benjamin Monate},
title = {Testing or Formal Verification: {DO-178C} Alternatives and Industrial
Experience},
journal = {{IEEE} Softw.},
volume = {30},
number = {3},
pages = {50--57},
year = {2013},
url = {https://doi.org/10.1109/MS.2013.43},
doi = {10.1109/MS.2013.43},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/MoyLDWM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/RuizCM12,
author = {Jos{\'{e}} F. Ruiz and
Cyrille Comar and
Yannick Moy},
editor = {Mats Brorsson and
Lu{\'{\i}}s Miguel Pinho},
title = {Source Code as the Key Artifact in Requirement-Based Development:
The Case of Ada 2012},
booktitle = {Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe
International Conference on Reliable Software Technologies, Stockholm,
Sweden, June 11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7308},
pages = {49--59},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30598-6\_4},
doi = {10.1007/978-3-642-30598-6\_4},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/RuizCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/automotiveSS/ComarKM12,
author = {Cyrille Comar and
Johannes Kanig and
Yannick Moy},
editor = {Erhard Pl{\"{o}}dereder and
Peter Dencker and
Herbert Klenk and
Hubert B. Keller and
Silke Spitzer},
title = {Integration von Formaler Verifikation und Test},
booktitle = {Automotive - Safety {\&} Security 2012, Sicherheit und Zuverl{\"{a}}ssigkeit
f{\"{u}}r automobile Informationstechnik, 14.-15. November 2012,
Karlsruhe, Proceedings},
series = {{LNI}},
volume = {{P-210}},
pages = {133--148},
publisher = {{GI}},
year = {2012},
url = {https://dl.gi.de/handle/20.500.12116/17553},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/automotiveSS/ComarKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AponteCMS12,
author = {Maria{-}Virginia Aponte and
Pierre Courtieu and
Yannick Moy and
Marc Sango},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {Maximal and Compositional Pattern-Based Loop Invariants},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {37--51},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_7},
doi = {10.1007/978-3-642-32759-9\_7},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AponteCMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/KanigGM11,
author = {Johannes Kanig and
J{\'{e}}r{\^{o}}me Guitton and
Yannick Moy},
title = {Hi-Lite - Verification by Contract},
journal = {Softwaretechnik-Trends},
volume = {31},
number = {3},
year = {2011},
url = {http://pi.informatik.uni-siegen.de/stt/31\_3/01\_Fachgruppenberichte/ada/6-kanig\_guitton\_moy-hilite-final.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/KanigGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/DrossFM11,
author = {Claire Dross and
Jean{-}Christophe Filli{\^{a}}tre and
Yannick Moy},
editor = {Martin Gogolla and
Burkhart Wolff},
title = {Correct Code Containing Containers},
booktitle = {Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich,
Switzerland, June 30 - July 1, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6706},
pages = {102--118},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21768-5\_9},
doi = {10.1007/978-3-642-21768-5\_9},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/DrossFM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/MoyM10,
author = {Yannick Moy and
Claude March{\'{e}}},
title = {Modular inference of subprogram contracts for safety checking},
journal = {J. Symb. Comput.},
volume = {45},
number = {11},
pages = {1184--1211},
year = {2010},
url = {https://doi.org/10.1016/j.jsc.2010.06.004},
doi = {10.1016/J.JSC.2010.06.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/MoyM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Moy08,
author = {Yannick Moy},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Sufficient Preconditions for Modular Assertion Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {188--202},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_18},
doi = {10.1007/978-3-540-78163-9\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Moy08.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.
last updated on 2024-04-21 17:52 CEST 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:
