Richard Hamlet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 43785 (Why is no real title available?)	1993-01-23	Paper
Theory of Modules IEEE Transactions on Software Engineering	1987-01-01	Paper
Reliability theory of program testing Acta Informatica	1981-01-01	Paper
Transportable package software Software: Practice and Experience	1980-01-01	Paper
scientific article; zbMATH DE number 3566189 (Why is no real title available?)	1977-01-01	Paper
Testing Programs with the Aid of a Compiler IEEE Transactions on Software Engineering	1977-01-01	Paper
Testing programs with finite sets of data The Computer Journal	1977-01-01	Paper
Syntax and semantics of universal programming languages International Journal of Computer Mathematics	1977-01-01	Paper
Execution traces and programming-language semantics International Journal of Computer & Information Sciences	1977-01-01	Paper
scientific article; zbMATH DE number 3478363 (Why is no real title available?)	1974-01-01	Paper
scientific article; zbMATH DE number 3566148 (Why is no real title available?)	1972-01-01	Paper

Research outcomes over time

This page was built for person: Richard Hamlet