- user
- @tasawer
- Data structures for Z ...
Publication title
Data structures for Z testing tools
M. Utting. In FMTOOLS 2000, TR 2000-07, Information Faculty, Univ. of, (2000)Links and resources
- BibTeX key
- Utting2000
- entry type
- inproceedings
- booktitle
- In FMTOOLS 2000, TR 2000-07, Information Faculty, Univ. of
- year
- 2000
Tags
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 Utting2000
%A Utting, Mark
%B In FMTOOLS 2000, TR 2000-07, Information Faculty, Univ. of
%D 2000
%K
%T Data structures for Z testing tools
@inproceedings{Utting2000,
added-at = {2010-12-02T22:49:04.000+0100},
author = {Utting, Mark},
biburl = {https://www.bibsonomy.org/bibtex/20f3105fc3f37d90841f1942771bf7a39/tasawer},
booktitle = {In FMTOOLS 2000, TR 2000-07, Information Faculty, Univ. of},
interhash = {01b195fc7f6a70652892db807b0f47aa},
intrahash = {0f3105fc3f37d90841f1942771bf7a39},
keywords = {},
timestamp = {2010-12-02T22:49:04.000+0100},
title = {Data structures for Z testing tools},
year = 2000
}
search on
Meta data
- Last update 14 years ago
- Created 14 years ago
Comments and Reviews
There is no review or comment yet. You can write one!