M. H. Goldsmith

According to our database1, M. H. Goldsmith authored at least 2 papers between 1985 and 1999.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
What Is Intransitive Noninterference?
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1985
Logic, programming and formal specification.
PhD thesis, 1985


  Loading...