Jade Alglave
University College London
H-index: 21
Europe-United Kingdom
Top articles of Jade Alglave
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Armed cats: Formal concurrency modelling at arm | Jade Alglave Will Deacon Richard Grisenthwaite Antoine Hacquard Luc Maranget | 2021/7/23 | |
Package processing | 2020/3/17 | ||
The diy7 tool suite | Jade Alglave Luc Maranget | 2020 |