Inproceedings,
Testing Dafny (experience paper).
A. Irfan, S. Porncharoenwase, Z. Rakamaric, N. Rungta, and E. Torlak.ISSTA, page 556-567. ACM, (2022)
Meta data
- BibTeX key
- conf/issta/IrfanPRRT22
- entry type
- inproceedings
- booktitle
- ISSTA
- year
- 2022
- pages
- 556-567
- publisher
- ACM
- crossref
- conf/issta/2022
- ee
- https://doi.org/10.1145/3533767.3534382
- isbn
- 978-1-4503-9379-9
- url
- http://dblp.uni-trier.de/db/conf/issta/issta2022.html#IrfanPRRT22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/issta/IrfanPRRT22
%A Irfan, Ahmed
%A Porncharoenwase, Sorawee
%A Rakamaric, Zvonimir
%A Rungta, Neha
%A Torlak, Emina
%B ISSTA
%D 2022
%E Ryu, Sukyoung
%E Smaragdakis, Yannis
%I ACM
%K dblp
%P 556-567
%T Testing Dafny (experience paper).
%U http://dblp.uni-trier.de/db/conf/issta/issta2022.html#IrfanPRRT22
%@ 978-1-4503-9379-9
@inproceedings{conf/issta/IrfanPRRT22,
added-at = {2022-07-26T00:00:00.000+0200},
author = {Irfan, Ahmed and Porncharoenwase, Sorawee and Rakamaric, Zvonimir and Rungta, Neha and Torlak, Emina},
biburl = {https://www.bibsonomy.org/bibtex/2607a68f98b8670ec8b757b06fcf7c481/dblp},
booktitle = {ISSTA},
crossref = {conf/issta/2022},
editor = {Ryu, Sukyoung and Smaragdakis, Yannis},
ee = {https://doi.org/10.1145/3533767.3534382},
interhash = {abeb42ae469cab5a60de7184b27dc966},
intrahash = {607a68f98b8670ec8b757b06fcf7c481},
isbn = {978-1-4503-9379-9},
keywords = {dblp},
pages = {556-567},
publisher = {ACM},
timestamp = {2024-04-09T20:41:32.000+0200},
title = {Testing Dafny (experience paper).},
url = {http://dblp.uni-trier.de/db/conf/issta/issta2022.html#IrfanPRRT22},
year = 2022
}