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 proceedingConference Contribution (Conference Proceeding)

Translated title of the contributionStatistical Testing and Formal Proof methods: a combined approach to verification of software built with re-used components
Original languageEnglish
Title of host publicationProceeding International Conference on Software Engineering and Applications (SEA), MIT, Cambridge, November
Publication statusPublished - 2002

Cite this