Richard Hamlet

From MaRDI portal



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!

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


Research outcomes over time


This page was built for person: Richard Hamlet