Matthew Morley

According to our database1, Matthew Morley authored at least 3 papers between 1995 and 2001.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
The e Language: A Fresh Separation of Concerns.
Proceedings of the TOOLS Europe 2001: 38th International Conference on Technology of Object-Oriented Languages and Systems, 2001

1998
The Synchronous Approach to Designing Reactive Systems.
Formal Methods Syst. Des., 1998

1995
Systematic testing and formal verification to validate reactive programs.
Softw. Qual. J., 1995


  Loading...