Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/kbse/BratV01
%A Brat, Guillaume P.
%A Visser, Willem
%B ASE
%D 2001
%I IEEE Computer Society
%K dblp
%P 262-
%T Combining Static Analysis and Model Checking for Software Analysis.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2001.html#BratV01
%@ 0-7695-1426-X
@inproceedings{conf/kbse/BratV01,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Brat, Guillaume P. and Visser, Willem},
biburl = {https://www.bibsonomy.org/bibtex/27a516f5e47d3876aefe692f6be8db7e7/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2001},
ee = {https://doi.ieeecomputersociety.org/10.1109/ASE.2001.989812},
interhash = {097d13b83fa2282fbf48a0685a001be3},
intrahash = {7a516f5e47d3876aefe692f6be8db7e7},
isbn = {0-7695-1426-X},
keywords = {dblp},
pages = {262-},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T05:02:57.000+0200},
title = {Combining Static Analysis and Model Checking for Software Analysis.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2001.html#BratV01},
year = 2001
}