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/compsac/VilkomirB01
%A Vilkomir, Sergiy A.
%A Bowen, Jonathan P.
%B COMPSAC
%D 2001
%I IEEE Computer Society
%K dblp
%P 351-356
%T Formalization of Software Testing Criteria using the Z Notation.
%U http://dblp.uni-trier.de/db/conf/compsac/compsac2001.html#VilkomirB01
%@ 0-7695-1372-7
@inproceedings{conf/compsac/VilkomirB01,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Vilkomir, Sergiy A. and Bowen, Jonathan P.},
biburl = {https://www.bibsonomy.org/bibtex/28501d0b5ebd4f973040e50a6c3c5cf56/dblp},
booktitle = {COMPSAC},
crossref = {conf/compsac/2001},
ee = {https://www.wikidata.org/entity/Q60719272},
interhash = {81af5c2d8564ebc0bb637cb05f8e8b3f},
intrahash = {8501d0b5ebd4f973040e50a6c3c5cf56},
isbn = {0-7695-1372-7},
keywords = {dblp},
pages = {351-356},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T20:18:25.000+0200},
title = {Formalization of Software Testing Criteria using the Z Notation.},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2001.html#VilkomirB01},
year = 2001
}