default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sefm/sefm2024.bht:"
download as .bib file
@proceedings{DBLP:conf/sefm/2024,
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-77382-2},
doi = {10.1007/978-3-031-77382-2},
isbn = {978-3-031-77381-5},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/AndreDLL24,
author = {{\'{E}}tienne Andr{\'{e}} and
Marie Duflot and
Laetitia Laversa and
Engel Lefaucheux},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Execution-Time Opacity Control for Timed Automata},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {347--365},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_20},
doi = {10.1007/978-3-031-77382-2\_20},
timestamp = {Wed, 08 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/AndreDLL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Barbosa24,
author = {Lu{\'{\i}}s Soares Barbosa},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Paraconsistency for the Working Software Engineer (Extended Abstract)},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {22--30},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_2},
doi = {10.1007/978-3-031-77382-2\_2},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Barbosa24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BeckerKupczokH24,
author = {Jonas Becker{-}Kupczok and
Paula Herber},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Symbolic Execution for Precise Information Flow Analysis of Timed
Concurrent Systems},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {107--125},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_7},
doi = {10.1007/978-3-031-77382-2\_7},
timestamp = {Wed, 08 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BeckerKupczokH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BergARST24,
author = {Benjamin von Berg and
Bernhard K. Aichernig and
Maximilian Rindler and
Darko Stern and
Martin Tappler},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Hierarchical Learning of Generative Automaton Models from Sequential
Data},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {215--233},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_13},
doi = {10.1007/978-3-031-77382-2\_13},
timestamp = {Wed, 08 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/BergARST24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CimattiGLTZ24,
author = {Alessandro Cimatti and
Thomas M{\o}ller Grosen and
Kim G. Larsen and
Stefano Tonetta and
Martin Zimmermann},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Exploiting Assumptions for Effective Monitoring of Real-Time Properties
Under Partial Observability},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {70--88},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_5},
doi = {10.1007/978-3-031-77382-2\_5},
timestamp = {Wed, 08 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CimattiGLTZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CirsteaKLM24,
author = {Horatiu Cirstea and
Markus A. Kuppe and
Benjamin Loillier and
Stephan Merz},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Validating Traces of Distributed Programs Against TLA\({}^{\mbox{+}}\)
Specifications},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {126--143},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_8},
doi = {10.1007/978-3-031-77382-2\_8},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/CirsteaKLM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FarhatBDK24,
author = {Salman Farhat and
Simon Bliudze and
Laurence Duchien and
Olga Kouchnarenko},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Composing Run-Time Variability Models},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {234--252},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_14},
doi = {10.1007/978-3-031-77382-2\_14},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/FarhatBDK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GoyalGT24,
author = {Srajan Goyal and
Alberto Griggio and
Stefano Tonetta},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Leveraging Contracts for Failure Monitoring and Identification in
Automated Driving Systems},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {441--460},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_25},
doi = {10.1007/978-3-031-77382-2\_25},
timestamp = {Wed, 08 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GoyalGT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HerberAT24,
author = {Paula Herber and
Julius Adelt and
Philip Tasche},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Formal Verification of Cyber-Physical Systems Using Domain-Specific
Abstractions},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {3--21},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_1},
doi = {10.1007/978-3-031-77382-2\_1},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/HerberAT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JovanovicS24,
author = {Ana Jovanovic and
Allison Sullivan},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Right or Wrong - Understanding How Users Write Software Models in
Alloy},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {309--327},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_18},
doi = {10.1007/978-3-031-77382-2\_18},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/JovanovicS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KhakpourP24,
author = {Narges Khakpour and
David Parker},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Partially-Observable Security Games for Attack-Defence Analysis in
Software Systems},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {144--161},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_9},
doi = {10.1007/978-3-031-77382-2\_9},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/KhakpourP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/KoutavasLT24,
author = {Vasileios Koutavas and
Yu{-}Yang Lin and
Nikos Tzevelekos},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {An Operational Semantics for Yul},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {328--346},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_19},
doi = {10.1007/978-3-031-77382-2\_19},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/KoutavasLT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LaneseLC24,
author = {Ivan Lanese and
Ugo Dal Lago and
Vikraman Choudhury},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Towards Quantum Multiparty Session Types},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {385--403},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_22},
doi = {10.1007/978-3-031-77382-2\_22},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/LaneseLC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/MarmsolerAB24,
author = {Diego Marmsoler and
Asad Ahmed and
Achim D. Brucker},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Secure Smart Contracts with Isabelle/Solidity},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {162--181},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_10},
doi = {10.1007/978-3-031-77382-2\_10},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/MarmsolerAB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PaierEM24,
author = {Matteo Paier and
Roberto van Eeden and
Marino Miculan},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Formal Analysis of Multi-Factor Authentication Schemes in Digital
Identity Cards},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {423--440},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_24},
doi = {10.1007/978-3-031-77382-2\_24},
timestamp = {Wed, 08 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/PaierEM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PardoM24,
author = {Ra{\'{u}}l Pardo and
Daniel Le M{\'{e}}tayer},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Model-Checking the Implementation of Consent},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {253--271},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_15},
doi = {10.1007/978-3-031-77382-2\_15},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/PardoM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PetzTFBSA24,
author = {Adam Petz and
Will Thomas and
Anna Fritz and
T. J. Barclay and
Logan Schmalz and
Perry Alexander},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Verified Configuration and Deployment of Layered Attestation Managers},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {290--308},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_17},
doi = {10.1007/978-3-031-77382-2\_17},
timestamp = {Mon, 03 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/PetzTFBSA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/PriyaKG24,
author = {Siddharth Priya and
Temesghen Kahsai and
Arie Gurfinkel},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Unlocking the Power of Environment Assumptions for Unit Proofs},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {366--384},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_21},
doi = {10.1007/978-3-031-77382-2\_21},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/PriyaKG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/RenieriG24,
author = {Margherita Renieri and
Letterio Galletta},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {A Policy Framework for Regulating External Calls in Smart Contracts},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {52--69},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_4},
doi = {10.1007/978-3-031-77382-2\_4},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/RenieriG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SochorFW24,
author = {Hannes Sochor and
Flavio Ferrarotti and
Robert Wille},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {GrammarForge: Learning Program Input Grammars for Fuzz Testing},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {272--289},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_16},
doi = {10.1007/978-3-031-77382-2\_16},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SochorFW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TascheHH24,
author = {Philip Tasche and
Paula Herber and
Marieke Huisman},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Automated Invariant Generation for Efficient Deductive Reasoning About
Embedded Systems},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {404--422},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_23},
doi = {10.1007/978-3-031-77382-2\_23},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/TascheHH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TusilO24,
author = {Jan Tusil and
Jan Obdrz{\'{a}}lek},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Minuska: Towards a Formally Verified Programming Language Framework},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {200--214},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_12},
doi = {10.1007/978-3-031-77382-2\_12},
timestamp = {Wed, 08 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/TusilO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/VeschettiBH24,
author = {Adele Veschetti and
Richard Bubel and
Reiner H{\"{a}}hnle},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {A Formal Modeling Language for Smart Contracts},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {89--106},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_6},
doi = {10.1007/978-3-031-77382-2\_6},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/VeschettiBH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/WittingenHS24,
author = {Ellen Wittingen and
Marieke Huisman and
{\"{O}}mer Sakar},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {Deductive Verification of {SYCL} in VerCors},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {182--199},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_11},
doi = {10.1007/978-3-031-77382-2\_11},
timestamp = {Sun, 22 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/WittingenHS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/YeMY24,
author = {Kangfeng Ye and
Roberto Metere and
Poonam Yadav},
editor = {Alexandre Madeira and
Alexander Knapp},
title = {User-Guided Verification of Security Protocols via Sound Animation},
booktitle = {Software Engineering and Formal Methods - 22nd International Conference,
{SEFM} 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15280},
pages = {33--51},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-77382-2\_3},
doi = {10.1007/978-3-031-77382-2\_3},
timestamp = {Thu, 12 Dec 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/YeMY24.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.
retrieved on 2025-03-08 21:59 CET 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:
