Unit testing of Z specifications

Utting, Mark & Malik, Petra (2008) Unit testing of Z specifications. In Borger, E, Butler, M, Bowen, J, & Boca, P (Eds.) Abstract State Machines, B and Z: First International Conference, ABZ 2008, Proceedings [Lecture Notes in Computer Science, Vol 5238], 16 - 18 September, 2008, United Kingdom.

View at publisher

Impact and interest:

0 citations in Scopus
Search Google Scholar™
2 citations in Web of Science®

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 80335
Item Type: Conference Paper
Refereed: Yes
DOI: 10.1007/978-3-540-87603-8_24
ISBN: 978-3-540-87602-1
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300)
Deposited On: 21 Jan 2015 22:49
Last Modified: 21 Jan 2015 22:51

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page