Meta data
- BibTeX key
- conf/modelsward/HarelKMW15
- entry type
- inproceedings
- booktitle
- MODELSWARD
- year
- 2015
- pages
- 363-369
- publisher
- SciTePress
- crossref
- conf/modelsward/2015
- ee
- https://ieeexplore.ieee.org/document/7323118/
- isbn
- 978-989-758-083-3
- url
- http://dblp.uni-trier.de/db/conf/modelsward/modelsward2015.html#HarelKMW15
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/modelsward/HarelKMW15
%A Harel, David
%A Katz, Guy
%A Marron, Assaf
%A Weiss, Gera
%B MODELSWARD
%D 2015
%E Hammoudi, Slimane
%E Pires, Luís Ferreira
%E Desfray, Philippe
%E Filipe, Joaquim
%I SciTePress
%K dblp
%P 363-369
%T The Effect of Concurrent Programming Idioms on Verification - A Position Paper.
%U http://dblp.uni-trier.de/db/conf/modelsward/modelsward2015.html#HarelKMW15
%@ 978-989-758-083-3
@inproceedings{conf/modelsward/HarelKMW15,
added-at = {2021-08-11T00:00:00.000+0200},
author = {Harel, David and Katz, Guy and Marron, Assaf and Weiss, Gera},
biburl = {https://www.bibsonomy.org/bibtex/2377879b34b449396e97618bfb8903525/dblp},
booktitle = {MODELSWARD},
crossref = {conf/modelsward/2015},
editor = {Hammoudi, Slimane and Pires, Luís Ferreira and Desfray, Philippe and Filipe, Joaquim},
ee = {https://ieeexplore.ieee.org/document/7323118/},
interhash = {1814f4116f774e712cb346c56c6fa95e},
intrahash = {377879b34b449396e97618bfb8903525},
isbn = {978-989-758-083-3},
keywords = {dblp},
pages = {363-369},
publisher = {SciTePress},
timestamp = {2024-04-10T08:30:37.000+0200},
title = {The Effect of Concurrent Programming Idioms on Verification - A Position Paper.},
url = {http://dblp.uni-trier.de/db/conf/modelsward/modelsward2015.html#HarelKMW15},
year = 2015
}