Cheap and small counterexamples

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

7 Citations (Scopus)

Translated title of the contribution	Cheap and small counterexamples
Original language	English
Title of host publication	Sixth IEEE International Conference on Software Engineering and Formal Methods SEFM '08, 10-14 November 2008, Cape Town, South Africa
Pages	53-62
DOIs	https://doi.org/10.1109/SEFM.2008.18
Publication status	Published - 2008
Publication type	A4 Article in conference proceedings

Publication forum classification

@inproceedings{d040b3363bb84f83a78c89257bf14913,

title = "Cheap and small counterexamples",

author = "H. Hansen and J. Geldenhuys",

note = "Contribution: organisation=ohj,FACT1=1",

year = "2008",

doi = "10.1109/SEFM.2008.18",

language = "English",

isbn = "978-0-7695-3437-4",

pages = "53--62",

booktitle = "Sixth IEEE International Conference on Software Engineering and Formal Methods SEFM '08, 10-14 November 2008, Cape Town, South Africa",

}

TY - GEN

T1 - Cheap and small counterexamples

AU - Hansen, H.

AU - Geldenhuys, J.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 2008

Y1 - 2008

U2 - 10.1109/SEFM.2008.18

DO - 10.1109/SEFM.2008.18

M3 - Conference contribution

SN - 978-0-7695-3437-4

SP - 53

EP - 62

BT - Sixth IEEE International Conference on Software Engineering and Formal Methods SEFM '08, 10-14 November 2008, Cape Town, South Africa

ER -