According to Wikipedia, Tim Denvir is a British software engineer, specialising in formal methods. Denvir studied for a Mathematics degree at Trinity College, Cambridge during 1959–1962. Before his degree, during 1958–1959, Tim Denvir was an engineering assistant at Texas Instruments, designing, building and testing electronic circuits using discrete semiconductors. After his degree, during 1962–1965, he was a systems programmer with Elliott Brothers, programming operating systems and device drivers. During 1965–1969, he was a systems programmer at the University of London Atlas Computing Service, undertaking systems programming for the Atlas computer and compiler design. During 1969–1971, he was a project manager with RADICS, working on ALGOL 60 compilers.
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings (1994) (6)
Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991 (1992) (4)
