David Leeson

According to our database¹, David Leeson authored at least 1 paper in 1994.

Collaborative distances:

Awards

IEEE Fellow 1988, "For contributions to the theory and practice of stable microwave signal sources for communication and radar.".

Book

In proceedings

Article

PhD thesis

Dataset

Other

1994

Interfacing Ada with verification languages.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Environments and Tools for Ada, 1994