Inproceedings,
Towards Automatic Inference of Inductive Invariants.
H. Ma, A. Goel, J. Jeannin, M. Kapritsos, B. Kasikci, and K. Sakallah.HotOS, page 30-36. ACM, (2019)
Meta data
- BibTeX key
- conf/hotos/MaGJKKS19
- entry type
- inproceedings
- booktitle
- HotOS
- year
- 2019
- pages
- 30-36
- publisher
- ACM
- crossref
- conf/hotos/2019
- ee
- https://doi.org/10.1145/3317550.3321451
- isbn
- 978-1-4503-6727-1
- url
- http://dblp.uni-trier.de/db/conf/hotos/hotos2019.html#MaGJKKS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/hotos/MaGJKKS19
%A Ma, Haojun
%A Goel, Aman
%A Jeannin, Jean-Baptiste
%A Kapritsos, Manos
%A Kasikci, Baris
%A Sakallah, Karem A.
%B HotOS
%D 2019
%I ACM
%K dblp
%P 30-36
%T Towards Automatic Inference of Inductive Invariants.
%U http://dblp.uni-trier.de/db/conf/hotos/hotos2019.html#MaGJKKS19
%@ 978-1-4503-6727-1
@inproceedings{conf/hotos/MaGJKKS19,
added-at = {2023-08-19T00:00:00.000+0200},
author = {Ma, Haojun and Goel, Aman and Jeannin, Jean-Baptiste and Kapritsos, Manos and Kasikci, Baris and Sakallah, Karem A.},
biburl = {https://www.bibsonomy.org/bibtex/2826537f3827ef50be78dd67ce56c0c49/dblp},
booktitle = {HotOS},
crossref = {conf/hotos/2019},
ee = {https://doi.org/10.1145/3317550.3321451},
interhash = {8c19075994a6e7b87bdd4ff5a68f773b},
intrahash = {826537f3827ef50be78dd67ce56c0c49},
isbn = {978-1-4503-6727-1},
keywords = {dblp},
pages = {30-36},
publisher = {ACM},
timestamp = {2024-04-10T21:15:32.000+0200},
title = {Towards Automatic Inference of Inductive Invariants.},
url = {http://dblp.uni-trier.de/db/conf/hotos/hotos2019.html#MaGJKKS19},
year = 2019
}