Alastair J. Telford

According to our database¹, Alastair J. Telford authored at least 4 papers between 1995 and 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

Ensuring Termination in ESFP.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2000

1997

Ensuring Streams Flow.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Extending the application of formal methods to analyse human error and system failure during accident investigations.

[BibT_eX]

[DOI]

Softw. Eng. J., 1996

1995

Static analysis of Martin-Löf's intuitionistic type theory.

[BibT_eX]

[DOI]

PhD thesis, 1995