Formal methods and testing : an outcome of the FORTEST network : revised selected papers /

Formal methods and testing : an outcome of the FORTEST network : revised selected papers /

Show other versions (3)

Saved in:

Bibliographic Details
Corporate Author:	FORTEST (Network)
Other Authors:	Bowen, J. P (Jonathan Peter), 1956-, Harman, Mark, Harman, Mark, Ph.D, Hierons, Robert M
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer, 2008 Berlin ; New York : c2008 Berlin ; New York : ©2008
Series:	LNCS sublibrary Programming and software engineering Lecture notes in computer science, 4949 LNCS sublibrary Programming and software engineering. LNCS sublibrary Programming and software engineering. Lecture notes in computer science ; 4949 Lecture notes in computer science ; 4949 Lecture notes in computer science 4949
Subjects:	Computer software > Testing Formal methods (Computer science) Computer software Aufsatzsammlung Conference papers and proceedings
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number:	QA76.9.F67.F63 2008

Johns Hopkins University

Holdings details from Johns Hopkins University
Call Number:	QA76.9.F67 F526 2008

Harvard University

Holdings details from Harvard University
Call Number:	QA75 .L4 vol. 4949

Duke University

Holdings details from Duke University
Call Number:	QA75.5 .L438 v.4949

Cornell University

Holdings details from Cornell University
Call Number:	QA76.9.F67 F526 2008

Columbia University

Holdings details from Columbia University
Call Number:	QA76.9.F67 F526 2008g