Statistical Testing and Formal Proof methods: a combined approach to verification of software built with re-used components

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	Statistical Testing and Formal Proof methods: a combined approach to verification of software built with re-used components
Original language	English
Title of host publication	Proceeding International Conference on Software Engineering and Applications (SEA), MIT, Cambridge, November
Publication status	Published - 2002

Handle.net

@inproceedings{a4ad14ed47ca432394b82d01422c6607,

title = "Statistical Testing and Formal Proof methods: a combined approach to verification of software built with re-used components",

author = "JHR May",

year = "2002",

language = "English",

booktitle = "Proceeding International Conference on Software Engineering and Applications (SEA), MIT, Cambridge, November",

}