# Alasdair Armstrong

According to our database

Collaborative distances:

^{1}, Alasdair Armstrong authored at least 17 papers between 2012 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

Proceedings of the Programming Languages and Systems, 2020

2019

Proc. ACM Program. Lang., 2019

2018

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

2017

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016

Formal Aspects Comput., 2016

CoRR, 2016

2015

PhD thesis, 2015

2014

J. Log. Algebraic Methods Program., 2014

Arch. Formal Proofs, 2014

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Proceedings of the FM 2014: Formal Methods, 2014

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Arch. Formal Proofs, 2013

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012