Abstraction and Testing.

Conference presentation

Open access

Peer reviewed

World Congress on Formal Methods, Vol.LNCS 1, pp.738-757

1999

Abstract

pdf

fulltext317.15 kBDownload View

Text Open Access

url

http://link.springer.de/link/service/series/0558/bibs/1708/17080738.htmView

106 File views/ downloads

18 Record Views

Title: Abstraction and Testing.
Creators: S Schneider
Contributors: JM Wing
J Woodcock
J Davies
Springer (null)
Publication Details: World Congress on Formal Methods, Vol.LNCS 1, pp.738-757
Date published: 1999
Date submitted: 27/05/2010
Identifiers: 99514703002346
Academic Unit: Department of Computer Science
Resource Type: Conference presentation