Unit testing of Z specifications
| Contribuinte(s) |
Borger, E Butler, M Bowen, J Boca, P |
|---|---|
| Data(s) |
2008
|
| Identificador | |
| Publicador |
Springer |
| Relação |
DOI:10.1007/978-3-540-87603-8_24 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. |
| Palavras-Chave | #080300 COMPUTER SOFTWARE |
| Tipo |
Conference Paper |
