Michael Leslie

According to our database1, Michael Leslie authored at least 1 paper in 2001.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2001
Proving sequential consistency by model checking.
Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, 2001


  Loading...