D. G. Taylor
According to our database1,
D. G. Taylor
authored at least 1 paper
in 1980.
Collaborative distances:
Collaborative distances:
Timeline
1980
0
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1980
An Overview of AFFIRM: A Specification and Verification System.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980