Inproceedings,
Program Testing Using High-Level Property-Driven Models.
I. Michiels, C. Roover, J. Brichau, E. Boix, and T. D'Hondt.SEKE, page 489-494. (2006)
Meta data
- BibTeX key
- conf/seke/MichielsRBBD06
- entry type
- inproceedings
- booktitle
- SEKE
- year
- 2006
- pages
- 489-494
- crossref
- conf/seke/2006
- ee
- http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2006_Proceedings.pdf
- isbn
- 1-891706-18-7
- url
- http://dblp.uni-trier.de/db/conf/seke/seke2006.html#MichielsRBBD06
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/seke/MichielsRBBD06
%A Michiels, Isabel
%A Roover, Coen De
%A Brichau, Johan
%A Boix, Elisa Gonzalez
%A D'Hondt, Theo
%B SEKE
%D 2006
%E Zhang, Kang
%E Spanoudakis, George
%E Visaggio, Giuseppe
%K dblp
%P 489-494
%T Program Testing Using High-Level Property-Driven Models.
%U http://dblp.uni-trier.de/db/conf/seke/seke2006.html#MichielsRBBD06
%@ 1-891706-18-7
@inproceedings{conf/seke/MichielsRBBD06,
added-at = {2007-02-28T00:00:00.000+0100},
author = {Michiels, Isabel and Roover, Coen De and Brichau, Johan and Boix, Elisa Gonzalez and D'Hondt, Theo},
biburl = {https://www.bibsonomy.org/bibtex/2082362bd5109e5ab0061bedf37b4d698/dblp},
booktitle = {SEKE},
crossref = {conf/seke/2006},
editor = {Zhang, Kang and Spanoudakis, George and Visaggio, Giuseppe},
ee = {http://ksiresearchorg.ipage.com/seke/Proceedings/seke/SEKE2006_Proceedings.pdf},
interhash = {e862c15cd112b2ec7b104d60d76e0d86},
intrahash = {082362bd5109e5ab0061bedf37b4d698},
isbn = {1-891706-18-7},
keywords = {dblp},
pages = {489-494},
timestamp = {2024-08-19T07:20:11.000+0200},
title = {Program Testing Using High-Level Property-Driven Models.},
url = {http://dblp.uni-trier.de/db/conf/seke/seke2006.html#MichielsRBBD06},
year = 2006
}